obscure options;
authorwenzelm
Sat Jul 20 16:18:17 2013 +0200 (2013-07-20)
changeset 52714a4e4802753b9
parent 52713 cd3ce844248f
child 52715 8979d830950b
obscure options;
etc/options
     1.1 --- a/etc/options	Sat Jul 20 16:16:23 2013 +0200
     1.2 +++ b/etc/options	Sat Jul 20 16:18:17 2013 +0200
     1.3 @@ -71,9 +71,9 @@
     1.4    -- "level of tracing information for multithreading"
     1.5  public option parallel_proofs : int = 2
     1.6    -- "level of parallel proof checking: 0, 1, 2"
     1.7 -public option parallel_subproofs_saturation : int = 100
     1.8 +option parallel_subproofs_saturation : int = 100
     1.9    -- "upper bound for forks of nested proofs (multiplied by worker threads)"
    1.10 -public option parallel_subproofs_threshold : real = 0.01
    1.11 +option parallel_subproofs_threshold : real = 0.01
    1.12    -- "lower bound of timing estimate for forked nested proofs (seconds)"
    1.13  
    1.14