From f52b2a625dc241f318affaa88ed5e5d7bee597c6 Mon Sep 17 00:00:00 2001
From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Mon, 23 Mar 2009 18:09:02 +0000
Subject: [PATCH] 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
---
 Makefile.in       | 15 +++++++++++++++
 bin/run_tests.smt |  4 ++--
 2 files changed, 17 insertions(+), 2 deletions(-)

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
-- 
2.47.3