etc/options
changeset 59468 fe6651760643
parent 59446 4427f04fca57
child 60074 38a64cc17403
equal deleted inserted replaced
59467:58c4f3e1870f 59468:fe6651760643
    64 
    64 
    65 public option threads : int = 0
    65 public option threads : int = 0
    66   -- "maximum number of worker threads for prover process (0 = hardware max.)"
    66   -- "maximum number of worker threads for prover process (0 = hardware max.)"
    67 option threads_trace : int = 0
    67 option threads_trace : int = 0
    68   -- "level of tracing information for multithreading"
    68   -- "level of tracing information for multithreading"
       
    69 option threads_stack_limit : real = 0.25
       
    70   -- "maximum stack size for worker threads (in giga words, 0 = unlimited)"
    69 public option parallel_print : bool = true
    71 public option parallel_print : bool = true
    70   -- "parallel and asynchronous printing of results"
    72   -- "parallel and asynchronous printing of results"
    71 public option parallel_proofs : int = 2
    73 public option parallel_proofs : int = 2
    72   -- "level of parallel proof checking: 0, 1, 2"
    74   -- "level of parallel proof checking: 0, 1, 2"
    73 option parallel_subproofs_threshold : real = 0.01
    75 option parallel_subproofs_threshold : real = 0.01