equal
deleted
inserted
replaced
6 declare document_variants : string = document |
6 declare document_variants : string = document |
7 declare document_graph : bool = false |
7 declare document_graph : bool = false |
8 declare document_dump : string = "" |
8 declare document_dump : string = "" |
9 declare no_document : bool = false |
9 declare no_document : bool = false |
10 |
10 |
11 declare threads_limit : int = 1 |
11 declare threads : int = 1 |
12 declare threads_trace : int = 0 |
12 declare threads_trace : int = 0 |
13 declare parallel_proofs : int = 1 |
13 declare parallel_proofs : int = 1 |
14 declare parallel_proofs_threshold : int = 100 |
14 declare parallel_proofs_threshold : int = 100 |
15 |
15 |
16 declare print_mode : string = "" |
16 declare print_mode : string = "" |