Add regresssmtcomp2007 which runs the bitvector benchmarks from the 2007 contest

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

diff --git a/scripts/Makefile.in b/scripts/Makefile.in
index a4bbc63913411bb5dd3d7016deadec8b274d2be6..3f5fe6e7aee4d6956b840f498d52415cd5fb0cb7 100644 (file)
--- a/scripts/Makefile.in
+++ b/scripts/Makefile.in
@@ -115,6 +115,7 @@ regressall: all
        $(MAKE) regresscvc
        $(MAKE) regresssmt
        $(MAKE) regresssyn 
+       $(MAKE) regresssmtcomp2007 
        $(MAKE) regressbigarray
        $(MAKE) regressstp
        $(MAKE) regressbio
@@ -171,6 +172,11 @@ regresssyn: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)synthesis-tests/
 regresssyn: REGRESS_LOG = `date +%Y-%m-%d`"-regress-syn.log"
 regresssyn: baseTest
 
+.PHONY: regresssmtcomp2007
+regresssmtcomp2007 : TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)smtcomp2007/
+regresssmtcomp2007 : REGRESS_LOG = `date +%Y-%m-%d`"-regress-smtcomp2007.log"
+regresssmtcomp2007 : baseTest
+
 .PHONY: regresseric
 regresseric: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)eric-test/
 regresseric: REGRESS_LOG = `date +%Y-%m-%d`"-regress-eric.log"