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 /unit-tests/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 'unit-tests/Makefile')
| -rw-r--r-- | unit-tests/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/unit-tests/Makefile b/unit-tests/Makefile index 4c29362..915ee7a 100644 --- a/unit-tests/Makefile +++ b/unit-tests/Makefile @@ -10,9 +10,9 @@ COQFLAGS?=-q $(OPT) $(COQLIBS) $(OTHERFLAGS) $(COQ_XML) COQC?=$(COQBIN)coqc -all: $(OBJ) Tests.vo - - +all: $(OBJ) Tests_zchaff.vo Tests_verit.vo +zchaff: $(ZCHAFFLOG) Tests_zchaff.vo +verit: $(VERITLOG) Tests_verit.vo logs: $(OBJ) |