diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-04-30 03:03:50 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-04-30 03:03:50 +0200 |
commit | 98bf2facf5a61758897d000c4a7d1d6c6c2965fb (patch) | |
tree | fcb99694bdc0df548398a718676847acdc5436c3 /unit-tests/Makefile | |
parent | 640bf0dda4a4880aeb525d1460dc91f5041aa626 (diff) | |
download | smtcoq-98bf2facf5a61758897d000c4a7d1d6c6c2965fb.tar.gz smtcoq-98bf2facf5a61758897d000c4a7d1d6c6c2965fb.zip |
Holes in proof:
- can now take learned clauses as argument
- returns a whole clause (and not only a literal)
- tested for the vernacular commands
Warning: seems to slow down 8.5 version
Diffstat (limited to 'unit-tests/Makefile')
-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 915ee7a..bed1018 100644 --- a/unit-tests/Makefile +++ b/unit-tests/Makefile @@ -29,4 +29,4 @@ logs: $(OBJ) clean: - rm -rf *~ *.zlog *.vtlog + rm -rf *~ $(ZCHAFFLOG) $(VERITLOG) |