Reverted to version 164. I didn't realise Vijay runs these.

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

diff --git a/scripts/run_smt_tests.pl b/scripts/run_smt_tests.pl
index 69fd71bba438d9961b9623b21db534d7f012893e..c686c9100a1799d4229ed351224dc6092d43a2c6 100755 (executable)
--- a/scripts/run_smt_tests.pl
+++ b/scripts/run_smt_tests.pl
@@ -90,9 +90,9 @@ my %options = ();
 # The list of testcases to run
 #
 my @testcases = "../../stp-tests/smt-test";
-#my @testcases1 = "../../stp-tests/smt-test/QF_AUFBV/brummayerbiere2";
-#my @testcases2 = "../../stp-tests/smt-test/QF_AUFBV/brummayerbiere2";
-#my @testcases3 = "../../stp-tests/smt-test/QF_AUFBV/platania";
+my @testcases1 = "../../stp-tests/smt-test/QF_AUFBV/brummayerbiere2";
+my @testcases2 = "../../stp-tests/smt-test/QF_AUFBV/brummayerbiere2";
+my @testcases3 = "../../stp-tests/smt-test/QF_AUFBV/platania";
 # Temporary array for STP options
 my @stpOptions = ();
 
@@ -250,7 +250,7 @@ my $totalTime = time;
 my $defaultDir = `pwd`;
 $defaultDir =~ s/\n//;
 
-foreach my $testcase ((@testcases)) {
+foreach my $testcase ((@testcases,@testcases1,@testcases2,@testcases3)) {
     chdir $defaultDir or die "Cannot chdir to $defaultDir: $?";
     my @testcasesTmp = ();
     if(-f $testcase) { push @testcasesTmp, $testcase; }