equal
deleted
inserted
replaced
4 |
4 |
5 declare document : bool = true |
5 declare document : bool = true |
6 declare document_format : string = pdf |
6 declare document_format : string = pdf |
7 declare document_variants : string = document |
7 declare document_variants : string = document |
8 declare document_graph : bool = false |
8 declare document_graph : bool = false |
|
9 declare document_dump : string = "" |
9 |
10 |
10 declare threads_limit : int = 1 |
11 declare threads_limit : int = 1 |
11 declare threads_trace : int = 0 |
12 declare threads_trace : int = 0 |
12 declare parallel_proofs : int = 1 |
13 declare parallel_proofs : int = 1 |
13 declare parallel_proofs_threshold : int = 100 |
14 declare parallel_proofs_threshold : int = 100 |
16 |
17 |
17 declare proofs : int = 0 |
18 declare proofs : int = 0 |
18 declare quick_and_dirty : bool = false |
19 declare quick_and_dirty : bool = false |
19 |
20 |
20 declare timing : bool = false |
21 declare timing : bool = false |
21 declare verbose : bool = false |
|
22 |
22 |
23 declare condition : string = "" |
23 declare condition : string = "" |
24 |
24 |