From e4c1fb7756e8219987330c848cd67edfa458e5dd Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Wed, 18 Aug 2010 10:17:37 +0000 Subject: [PATCH] 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 --- scripts/Makefile.in | 6 ++++++ 1 file changed, 6 insertions(+) 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" -- 2.47.3