changed Makefile.in

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

diff --git a/Makefile.in b/Makefile.in
index 7ee9b427d40963535444c5deef6135adcafecaf7..faec41c83eecd06fca78d99734b7fb3fe471d7ef 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -115,6 +115,21 @@ regressbigarray:
        @echo "*********************************************************" \
           | tee -a $(REGRESS_LOG)
 
+.PHONY: regress_smt
+regress_smt:
+       @echo "*********************************************************" \
+          | tee -a $(REGRESS_LOG)
+       @echo "Starting tests at" `date` | tee -a $(REGRESS_LOG)
+       @echo "*********************************************************" \
+          | tee -a $(REGRESS_LOG)
+       bin/run_tests.smt $(ALL_OPTIONS) 2>&1 | tee -a $(REGRESS_LOG); [ $${PIPESTATUS[0]} -eq 0 ]
+       @echo "*********************************************************" \
+          | tee -a $(REGRESS_LOG)
+       @echo "Output is saved in $(REGRESS_LOG)" | tee -a $(REGRESS_LOG)
+       @echo "*********************************************************" \
+          | tee -a $(REGRESS_LOG)
+
+
 .PHONY: regressall
 regressall:
        $(MAKE) regress

diff --git a/bin/run_tests.smt b/bin/run_tests.smt
index 942cf1246e39d7571b0340d838a68f5541ea0847..505bb88b4baa3af6baaf3f988ae0136b64c7f279 100755 (executable)
--- a/bin/run_tests.smt
+++ b/bin/run_tests.smt
@@ -80,14 +80,14 @@ my %optionsDefault = ("level" => 4,
                      # when looking for info comments
                      "maxInfoLines" => 8,
                      # Runtime limit; 0 = no limit
-                     "time" => 1200,
+                     "time" => 60,
                      # Additional command line options to stp
                      "stpOptions" => "-d -f");
 
 # Database of command line options.  Initially, they are undefined
 my %options = ();
 # The list of testcases to run
-my @testcases = "cav2007-smt-1";
+my @testcases = "smt";
 # Temporary array for STP options
 my @stpOptions = ();
 # State is either "own" or "stp", meaning that we're reading either