From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 14 Aug 2009 16:47:10 +0000 (+0000)
Subject: git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk... 
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=ee128c81ff6167f087a404e1dbc28c7b3be06211;p=francis%2Fstp.git

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

diff --git a/bin/run_tests.smt b/bin/run_smt_tests
similarity index 100%
rename from bin/run_tests.smt
rename to bin/run_smt_tests
diff --git a/make-scripts/Makefile.in b/make-scripts/Makefile.in
index aa42bff..52c5802 100644
--- a/make-scripts/Makefile.in
+++ b/make-scripts/Makefile.in
@@ -121,7 +121,7 @@ regress_smt:
 	@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 ]
+	bin/run_smt_tests $(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)