From 0a7309fa41afd13fd3966570e73c9fbca7b6369c Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Mon, 26 Apr 2010 13:46:39 +0000 Subject: [PATCH] Add crypto and bio regression targets git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@720 e59a4935-1847-0410-ae03-e826735625c1 --- scripts/Makefile.in | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/scripts/Makefile.in b/scripts/Makefile.in index 9e51b25..803e333 100644 --- a/scripts/Makefile.in +++ b/scripts/Makefile.in @@ -116,6 +116,8 @@ regressall: all $(MAKE) regresssmt $(MAKE) regressbigarray $(MAKE) regressstp + $(MAKE) regressbio + $(MAKE) regresscrypto # Runs the basic tests in tests/ .PHONY: check @@ -143,6 +145,17 @@ regresscvc: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)test/ regresscvc: REGRESS_LOG=`date +%Y-%m-%d`"-regress-cvc.log" regresscvc: baseTest +.PHONY: regressbio +regressbio: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)bio-test/ +regressbio: REGRESS_LOG=`date +%Y-%m-%d`"-regress-bio.log" +regressbio: baseTest + +.PHONY: regresscrypto +regresscrypto: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)crypto-tests/ +regresscrypto: REGRESS_LOG=`date +%Y-%m-%d`"-regress-crypto.log" +regresscrypto: baseTest + + .PHONY: regresssyn regresssyn: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)synthesis-tests/ regresssyn: REGRESS_LOG = `date +%Y-%m-%d`"-regress-syn.log" -- 2.47.3