equal
deleted
inserted
replaced
71 ("box", "false"), |
71 ("box", "false"), |
72 ("sat_solver", "smart"), |
72 ("sat_solver", "smart"), |
73 ("max_threads", "1"), |
73 ("max_threads", "1"), |
74 ("batch_size", "10"), |
74 ("batch_size", "10"), |
75 ("falsify", if null conjs then "false" else "true"), |
75 ("falsify", if null conjs then "false" else "true"), |
76 (* ("debug", "true"), *) |
|
77 ("verbose", "true"), |
76 ("verbose", "true"), |
78 (* ("overlord", "true"), *) |
77 (* |
|
78 ("debug", "true"), |
|
79 ("overlord", "true"), |
|
80 *) |
79 ("show_consts", "true"), |
81 ("show_consts", "true"), |
80 ("format", "1000"), |
82 ("format", "1"), |
81 ("max_potential", "0"), |
83 ("max_potential", "0"), |
82 ("timeout", string_of_int timeout), |
84 ("timeout", string_of_int timeout), |
83 ("tac_timeout", string_of_int ((timeout + 49) div 50))] |
85 ("tac_timeout", string_of_int ((timeout + 49) div 50))] |
84 |> Nitpick_Isar.default_params thy |
86 |> Nitpick_Isar.default_params thy |
85 val i = 1 |
87 val i = 1 |