52639
|
1 |
(* :mode=isabelle-options: *)
|
|
2 |
|
52651
|
3 |
section {* Automatically tried tools *}
|
|
4 |
|
|
5 |
public option auto_time_start : real = 1.0
|
|
6 |
-- "initial delay for automatically tried tools (seconds)"
|
52639
|
7 |
|
52645
|
8 |
public option auto_time_limit : real = 2.0
|
52639
|
9 |
-- "time limit for automatically tried tools (seconds > 0)"
|
|
10 |
|
|
11 |
public option auto_nitpick : bool = false
|
|
12 |
-- "run Nitpick automatically"
|
|
13 |
|
|
14 |
public option auto_sledgehammer : bool = false
|
|
15 |
-- "run Sledgehammer automatically"
|
|
16 |
|
|
17 |
public option auto_try0 : bool = false
|
|
18 |
-- "try standard proof methods automatically"
|
|
19 |
|
52645
|
20 |
public option auto_quickcheck : bool = true
|
52639
|
21 |
-- "run Quickcheck automatically"
|
|
22 |
|
52645
|
23 |
public option auto_solve_direct : bool = true
|
52639
|
24 |
-- "run solve_direct automatically"
|
|
25 |
|