From c7efe473a30242fc08c7dba3f041df1138ec8eda Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Mon, 7 Feb 2011 14:05:30 +0000 Subject: [PATCH] Speedup the test harness. For the CVC tests STP is taking about 200 seconds, and the harness about 60. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1121 e59a4935-1847-0410-ae03-e826735625c1 --- scripts/run_tests.pl | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/scripts/run_tests.pl b/scripts/run_tests.pl index 418f59f..91981ee 100755 --- 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 =""; -- 2.47.3