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.
disable CVC4 statistics, and hence crashes upon user interruptions
authorblanchet
Fri, 04 Nov 2016 15:22:12 +0100
changeset 64461 be149db8207a
parent 64460 e84fb8b4245c
child 64462 96b56c98f346
disable CVC4 statistics, and hence crashes upon user interruptions
src/HOL/Tools/SMT/smt_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/SMT/smt_systems.ML	Fri Nov 04 13:27:31 2016 +0100
+++ b/src/HOL/Tools/SMT/smt_systems.ML	Fri Nov 04 15:22:12 2016 +0100
@@ -68,6 +68,7 @@
 
 local
   fun cvc4_options ctxt = [
+    "--no-statistics",
     "--random-seed=" ^ string_of_int (Config.get ctxt SMT_Config.random_seed),
     "--lang=smt2",
     "--continued-execution",
isabelle