From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 18 Aug 2010 10:17:37 +0000 (+0000)
Subject: Add regresssmtcomp2007 which runs the bitvector benchmarks from the 2007 contest
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=e4c1fb7756e8219987330c848cd67edfa458e5dd;p=francis%2Fstp.git

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 a4bbc63..3f5fe6e 100644
--- 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"