[tests] Set --output-dir on all test runs, in support of running tests in parallel.

 - It would be nice if there was an easier way to do this that didn't involve
   editing all of the tests (like running each test in its own directory), but
   this approach fixes #146 and doesn't involve changing 'lit' or writing a
   wrapper harness. My assumption is a lot of tests start are derived from
   another one, so hopefully following this convention won't be burdensome, and
   I updated 'make check' so that it will produce an error if any test runs klee
   without --output-dir (by checking for the existing of klee-last files).

 - This also helps with #147 but I still can't fully run tests in parallel (I
   start hitting STP errors).

1 files changed, 3 insertions, 9 deletions

diff --git a/test/regression/2007-08-01-bool-zext-in-call.ll b/test/regression/2007-08-01-bool-zext-in-call.ll
index fc77785d..1a4bf4f3 100644
--- a/test/regression/2007-08-01-bool-zext-in-call.ll
+++ b/test/regression/2007-08-01-bool-zext-in-call.ll
@@ -1,12 +1,6 @@
-; RUN: rm -rf %T/xxx
-;
-; The output directory must be explicitly set so that it ends up in the Output/
-; directory which is not scanned for .ll files by llvm-lit, otherwise running
-; test suite a second time will cause problems because assembly.ll generated by
-; executing this test case the first time will be detected as a test case.
-;
-; RUN: llvm-as -f %s -o - | %klee --output-dir=%T/xxx
-; RUN: not test -f %T/xxx/klee-last/test0001.abort.err
+; RUN: rm -rf %t.klee-out
+; RUN: llvm-as -f %s -o - | %klee --output-dir=%t.klee-out
+; RUN: not test -f %t.klee-out/test0001.abort.err
 
 declare void @klee_abort()