git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk...

diff --git a/scripts/run_smt_tests.pl b/scripts/run_smt_tests.pl
index 2cdf6e371dd4c4368d26e877eba79eec0aa882ed..386c3672fde71cb454f530bfd725a95585e009d6 100755 (executable)
--- 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; }