From ec6ef6289a5c2669a8ebe46a0e9baeaf455cea4a Mon Sep 17 00:00:00 2001 From: vijay_ganesh Date: Fri, 14 Aug 2009 17:20:47 +0000 Subject: [PATCH] git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@135 e59a4935-1847-0410-ae03-e826735625c1 --- scripts/run_smt_tests.pl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/scripts/run_smt_tests.pl b/scripts/run_smt_tests.pl index 2cdf6e3..386c367 100755 --- a/scripts/run_smt_tests.pl +++ b/scripts/run_smt_tests.pl @@ -90,7 +90,9 @@ my %options = (); # The list of testcases to run # my @testcases = "../../stp-tests/smt-test"; -my @testcases1 = "../../stp-tests/smt-test/QF_AUFBV"; +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 = (); @@ -248,7 +250,7 @@ my $totalTime = time; my $defaultDir = `pwd`; $defaultDir =~ s/\n//; -foreach my $testcase ((@testcases,@testcases1)) { +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