[tests] Update ConcreteTest to use --output-dir.

1 files changed, 6 insertions, 1 deletions

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)