diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-02-23 18:57:34 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-02-23 18:57:34 +0100 |
| commit | cc56ac68a12d4b8f20aeb43bb4058ee1ae51e4b4 (patch) | |
| tree | 171ba014499934495162977fd21175274721a7f4 | |
| parent | 69724e440adead500b1448109c9062903cc1987c (diff) | |
| parent | f48ca6bde2cd2940e0e0051e36953717470f269a (diff) | |
| download | smtcoq-cc56ac68a12d4b8f20aeb43bb4058ee1ae51e4b4.tar.gz smtcoq-cc56ac68a12d4b8f20aeb43bb4058ee1ae51e4b4.zip | |
Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11
| -rw-r--r-- | unit-tests/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unit-tests/Makefile b/unit-tests/Makefile index 4820887..db28f4a 100644 --- a/unit-tests/Makefile +++ b/unit-tests/Makefile @@ -45,7 +45,7 @@ logs: $(OBJ) parallel: Tests_zchaff_tactics.vio Tests_verit_tactics.vio Tests_lfsc_tactics.vio - coqtop -schedule-vio-checking 3 Tests_zchaff_tactics Tests_verit_tactics Tests_lfsc_tactics + coqc -schedule-vio-checking 3 Tests_zchaff_tactics Tests_verit_tactics Tests_lfsc_tactics clean: cleanvo |