equal
deleted
inserted
replaced
69 option threads_trace : int = 0 |
69 option threads_trace : int = 0 |
70 -- "level of tracing information for multithreading" |
70 -- "level of tracing information for multithreading" |
71 option threads_stack_limit : real = 0.25 |
71 option threads_stack_limit : real = 0.25 |
72 -- "maximum stack size for worker threads (in giga words, 0 = unlimited)" |
72 -- "maximum stack size for worker threads (in giga words, 0 = unlimited)" |
73 |
73 |
|
74 public option parallel_limit : int = 0 |
|
75 -- "approximative limit for parallel tasks (0 = unlimited)" |
74 public option parallel_print : bool = true |
76 public option parallel_print : bool = true |
75 -- "parallel and asynchronous printing of results" |
77 -- "parallel and asynchronous printing of results" |
76 public option parallel_proofs : int = 1 |
78 public option parallel_proofs : int = 1 |
77 -- "level of parallel proof checking: 0, 1, 2" |
79 -- "level of parallel proof checking: 0, 1, 2" |
78 option parallel_subproofs_threshold : real = 0.01 |
80 option parallel_subproofs_threshold : real = 0.01 |