etc/options
changeset 50255 d0ec1f0d1d7d
parent 50121 97d2b77313a0
child 50455 c7f366a861ed
     1.1 --- a/etc/options	Wed Nov 28 16:09:05 2012 +0100
     1.2 +++ b/etc/options	Wed Nov 28 17:18:53 2012 +0100
     1.3 @@ -53,6 +53,8 @@
     1.4    -- "level of parallel proof checking: 0, 1, 2"
     1.5  option parallel_proofs_threshold : int = 100
     1.6    -- "threshold for sub-proof parallelization"
     1.7 +option ML_statistics : bool = false
     1.8 +  -- "ML runtime statistics of parallel execution environment"
     1.9  
    1.10  
    1.11  section "Detail of Proof Recording"