From ccb30f8126043b73fba181bbb552cf778b8148b7 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Tue, 14 Jun 2011 12:53:10 +0000 Subject: [PATCH] Add cloud9 test cases. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1337 e59a4935-1847-0410-ae03-e826735625c1 --- scripts/Makefile.in | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/scripts/Makefile.in b/scripts/Makefile.in index 1043a68..470b467 100644 --- a/scripts/Makefile.in +++ b/scripts/Makefile.in @@ -190,6 +190,12 @@ regresssmt: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)smt-test/ regresssmt: REGRESS_LOG = `date +%Y-%m-%d`"-regress-smt.log" regresssmt: baseTest +.PHONY: regresscloud9 +regresscloud9: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)cloud9/ +regresscloud9: REGRESS_LOG = `date +%Y-%m-%d`"-regress-cloud9.log" +regresscloud9: baseTest + + .PHONY: regresscapi regresscapi: TO_RUN=$(MAKE) -C tests/c-api-tests regresscapi: REGRESS_LOG = `date +%Y-%m-%d`"-regress-c-api.log" @@ -211,6 +217,7 @@ regresssmtbasic: REGRESS_LOG = `date +%Y-%m-%d`"-regress-smtbasic.log" regresssmtbasic: baseTest + # The higher the level, the more tests are run (3 = all) REGRESS_LEVEL=4 REGRESS_TESTS=$(REGRESS_TESTS0) -- 2.47.3