etc/options
changeset 65056 002b4c8c366e
parent 64524 e6a3c55b929b
child 65141 c706b57b1694
equal deleted inserted replaced
65055:12189e86c49d 65056:002b4c8c366e
    69 option threads_stack_limit : real = 0.25
    69 option threads_stack_limit : real = 0.25
    70   -- "maximum stack size for worker threads (in giga words, 0 = unlimited)"
    70   -- "maximum stack size for worker threads (in giga words, 0 = unlimited)"
    71 
    71 
    72 public option parallel_print : bool = true
    72 public option parallel_print : bool = true
    73   -- "parallel and asynchronous printing of results"
    73   -- "parallel and asynchronous printing of results"
    74 public option parallel_proofs : int = 2
    74 public option parallel_proofs : int = 1
    75   -- "level of parallel proof checking: 0, 1, 2"
    75   -- "level of parallel proof checking: 0, 1, 2"
    76 option parallel_subproofs_threshold : real = 0.01
    76 option parallel_subproofs_threshold : real = 0.01
    77   -- "lower bound of timing estimate for forked nested proofs (seconds)"
    77   -- "lower bound of timing estimate for forked nested proofs (seconds)"
    78 
    78 
    79 option command_timing_threshold : real = 0.01
    79 option command_timing_threshold : real = 0.01