etc/options
changeset 59468 fe6651760643
parent 59446 4427f04fca57
child 60074 38a64cc17403
     1.1 --- a/etc/options	Thu Jan 29 13:58:02 2015 +0100
     1.2 +++ b/etc/options	Thu Jan 29 15:21:16 2015 +0100
     1.3 @@ -66,6 +66,8 @@
     1.4    -- "maximum number of worker threads for prover process (0 = hardware max.)"
     1.5  option threads_trace : int = 0
     1.6    -- "level of tracing information for multithreading"
     1.7 +option threads_stack_limit : real = 0.25
     1.8 +  -- "maximum stack size for worker threads (in giga words, 0 = unlimited)"
     1.9  public option parallel_print : bool = true
    1.10    -- "parallel and asynchronous printing of results"
    1.11  public option parallel_proofs : int = 2