changeset 72667 | b83988b436dc |
parent 72482 | 11f645d25498 |
child 73104 | 6520d59fbdd7 |
--- a/src/HOL/Tools/SMT/smt_systems.ML Thu Nov 12 17:42:15 2020 +0100 +++ b/src/HOL/Tools/SMT/smt_systems.ML Fri Nov 13 09:47:59 2020 +0100 @@ -77,10 +77,9 @@ local fun cvc4_options ctxt = [ - "--no-statistics", + "--no-stats", "--random-seed=" ^ string_of_int (Config.get ctxt SMT_Config.random_seed), "--lang=smt2", - "--continued-execution", "--tlimit", string_of_int (Real.ceil (1000.0 * Config.get ctxt SMT_Config.timeout))] fun select_class ctxt =