From a129767ea75f855bd7ce2cc092da3d4bd19f992a Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Fri, 4 Sep 2009 13:27:00 +0000 Subject: [PATCH] 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 --- scripts/run_smt_tests.pl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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; } -- 2.47.3