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

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 aa42bffeb51dbf5e88969ee4cdb69370ead2549e..52c580273bba4e76dab78c7a5ea60b67d70aa61b 100644 (file)
--- 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)