From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Mon, 23 Mar 2009 18:09:02 +0000 (+0000)
Subject: changed Makefile.in
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=f52b2a625dc241f318affaa88ed5e5d7bee597c6;p=francis%2Fstp.git

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 7ee9b42..faec41c 100644
--- 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 942cf12..505bb88 100755
--- 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