proper veriT --max-time option
authordesharna
Tue, 19 Oct 2021 11:48:31 +0200
changeset 74930 3ec9cafab990
parent 74929 f55c632a1fe8
child 74941 67c4004495f2
proper veriT --max-time option
src/HOL/Tools/SMT/smt_systems.ML
--- 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 = {