From 9a3cf72b8979213bcc6d235856bb0ddba4ee37c8 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Fri, 12 Sep 2014 17:10:35 -0700
Subject: [tests] Update ConcreteTest to use --output-dir.

---
 test/Concrete/ConcreteTest.py | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'test')

diff --git a/test/Concrete/ConcreteTest.py b/test/Concrete/ConcreteTest.py
index 8b2e4cc3..02eaf4d9 100755
--- a/test/Concrete/ConcreteTest.py
+++ b/test/Concrete/ConcreteTest.py
@@ -4,6 +4,7 @@ import argparse
 import os
 import popen2
 import sys
+import shutil
 
 def readFile(f):
     s = ""
@@ -36,7 +37,11 @@ def testFile(name, klee_path, lli_path):
     print '-- lli output --\n%s--\n' % (lliOut,)
 
     print '-- running klee --'
-    klee_cmd = '%s --no-output %s' % (klee_path, exeFile)
+    klee_out_path = "Output/%s.klee-out" % (baseName,)
+    if os.path.exists(klee_out_path):
+        shutil.rmtree(klee_out_path)
+    klee_cmd = '%s --output-dir=%s --no-output %s' % (
+        klee_path, klee_out_path, exeFile)
     print "EXECUTING: %s" % (klee_cmd,)
     sys.stdout.flush()
     klee = popen2.Popen3(klee_cmd)
-- 
cgit 1.4.1