diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-02 10:57:40 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-02 10:57:40 +0100 |
| commit | 5705e360d5948369639939c08ef9f77328fb8226 (patch) | |
| tree | c3670d1ed1312ac72ff5de3e44fb629de253d82d /src/versions/native | |
| parent | febbbff65ac03cc600846c4100ecadada433f816 (diff) | |
| download | smtcoq-5705e360d5948369639939c08ef9f77328fb8226.tar.gz smtcoq-5705e360d5948369639939c08ef9f77328fb8226.zip | |
New targets [make vtest] and [make ztest] to perform unit tests for the various solvers separately
Diffstat (limited to 'src/versions/native')
| -rw-r--r-- | src/versions/native/Make | 2 | ||||
| -rw-r--r-- | src/versions/native/Makefile | 10 |
2 files changed, 11 insertions, 1 deletions
diff --git a/src/versions/native/Make b/src/versions/native/Make index 5695872..5d173e0 100644 --- a/src/versions/native/Make +++ b/src/versions/native/Make @@ -29,6 +29,8 @@ -I versions/native -custom "cd ../unit-tests; make" "" "test" +-custom "cd ../unit-tests; make zchaff" "" "ztest" +-custom "cd ../unit-tests; make verit" "" "vtest" -custom "$(CAMLLEX) $<" "%.mll" "%.ml" -custom "$(CAMLYACC) $<" "%.mly" "%.ml %.mli" diff --git a/src/versions/native/Makefile b/src/versions/native/Makefile index 7162b56..7b80410 100644 --- a/src/versions/native/Makefile +++ b/src/versions/native/Makefile @@ -270,6 +270,12 @@ ml: verit/veritParser.ml verit/veritLexer.ml verit/smtlib2_parse.ml verit/smtlib %.ml: %.mll $(CAMLLEX) $< +vtest: + cd ../unit-tests; make verit + +ztest: + cd ../unit-tests; make zchaff + test: cd ../unit-tests; make @@ -339,8 +345,10 @@ clean: - rm -rf $(CMXS) - rm -rf $(CMXA) - rm -rf ml + - rm -rf vtest + - rm -rf ztest - rm -rf test - - rm -f NSMTCoq* cnf/NSMTCoq* euf/NSMTCoq* lia/NSMTCoq* spl/NSMTCoq* ../unit-tests/NSMTCoq* ../unit-tests/*.zlog ../unit-tests/*.vtlog verit/veritParser.mli verit/veritParser.ml verit/veritLexer.ml verit/smtlib2_parse.mli verit/smtlib2_parse.ml verit/smtlib2_lex.ml + - rm -f NSMTCoq* cnf/NSMTCoq* euf/NSMTCoq* lia/NSMTCoq* spl/NSMTCoq* ../unit-tests/NSMTCoq* ../unit-tests/*.vo ../unit-tests/*.zlog ../unit-tests/*.vtlog verit/veritParser.mli verit/veritParser.ml verit/veritLexer.ml verit/smtlib2_parse.mli verit/smtlib2_parse.ml verit/smtlib2_lex.ml archclean: rm -f *.cmx *.o |