From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 4 Sep 2009 13:27:00 +0000 (+0000)
Subject: Reverted to version 164. I didn't realise Vijay runs these.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=a129767ea75f855bd7ce2cc092da3d4bd19f992a;p=francis%2Fstp.git

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 69fd71b..c686c91 100755
--- 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; }