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.
proper veriT --max-time option
authordesharna
Tue, 19 Oct 2021 11:48:31 +0200
changeset 74553 3ec9cafab990
parent 74552 f55c632a1fe8
child 74554 67c4004495f2
proper veriT --max-time option
src/HOL/Tools/SMT/smt_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/SMT/smt_systems.ML	Tue Oct 19 11:29:02 2021 +0200
+++ b/src/HOL/Tools/SMT/smt_systems.ML	Tue Oct 19 11:48:31 2021 +0200
@@ -115,7 +115,7 @@
     Verit_Proof.veriT_current_strategy (Context.Proof ctxt) @
     (case SMT_Config.get_timeout ctxt of
       NONE => []
-    | SOME t => ["--max-time " ^ string_of_int (Time.toMilliseconds t)])
+    | SOME t => ["--max-time=" ^ string_of_int (Time.toMilliseconds t)])
 in
 
 val veriT: SMT_Solver.solver_config = {
isabelle