From 98bf2facf5a61758897d000c4a7d1d6c6c2965fb Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Sat, 30 Apr 2016 03:03:50 +0200 Subject: 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 --- unit-tests/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'unit-tests/Makefile') 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) -- cgit