Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added CVC4 option that helps on JD
authorblanchet
Thu, 20 Nov 2014 17:29:18 +0100
changeset 59022 fa7c419f04b4
parent 59021 b29281d6d1db
child 59023 4999a616336c
added CVC4 option that helps on JD
src/HOL/SMT.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/SMT.thy	Thu Nov 20 17:29:18 2014 +0100
+++ b/src/HOL/SMT.thy	Thu Nov 20 17:29:18 2014 +0100
@@ -230,7 +230,7 @@
 *}
 
 declare [[cvc3_options = ""]]
-declare [[cvc4_options = "--full-saturate-quant"]]
+declare [[cvc4_options = "--full-saturate-quant --inst-when=full-last-call"]]
 declare [[veriT_options = ""]]
 declare [[z3_options = ""]]
isabelle