Speedup the test harness. For the CVC tests STP is taking about 200 seconds, and...

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1121 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/scripts/run_tests.pl b/scripts/run_tests.pl
index 418f59febea584146c530236fff9ad1550cf2597..91981eee138115e88b208c815b0ec6c5652555fa 100755 (executable)
--- a/scripts/run_tests.pl
+++ b/scripts/run_tests.pl
@@ -290,6 +290,12 @@ foreach my $testcase (@testcases) {
              "no such file or directory\n");
     }
 
+       # Create a temporary dir, but first delete it; there may be
+       # junk there
+       system("/bin/rm -rf $tmpdir");
+       mkdir $tmpdir or die "Cannot create directory $tmpdir: $?";
+       chdir $tmpdir or die "Cannot chdir to $tmpdir: $?";
+
     for(my $i=0; $i<=$#testcasesTmp; $i++) {
        my $name = $testcasesTmp[$i];
        my $file = "$defaultDir/$name";
@@ -334,11 +340,6 @@ foreach my $testcase (@testcases) {
                print("STP options: ", $stpOptions, "\n");
            }
        }
-       # Create a temporary dir, but first delete it; there may be
-       # junk there
-       system("/bin/rm -rf $tmpdir");
-       mkdir $tmpdir or die "Cannot create directory $tmpdir: $?";
-       chdir $tmpdir or die "Cannot chdir to $tmpdir: $?";
 
        # If the filename contains ".smt.gz", then tell stp to use the SMT-LIB parser.
        my $stpArgs ="";