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/Makefile | |
| 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/Makefile')
| -rw-r--r-- | src/versions/native/Makefile | 10 |
1 files changed, 9 insertions, 1 deletions
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 |