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