author | desharna |
Fri, 20 Nov 2020 14:29:21 +0100 | |
changeset 72668 | b1388cfb64bb |
parent 72666 | 945cee776e79 (current diff) |
parent 72667 | b83988b436dc (diff) |
child 72669 | 5e7916535860 |
--- a/src/HOL/Tools/SMT/smt_systems.ML Fri Nov 20 12:00:08 2020 +0100 +++ b/src/HOL/Tools/SMT/smt_systems.ML Fri Nov 20 14:29:21 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 =