Re: check doesn't workt with daig == 1

Dan Connolly wrote:
>
> On Dec 24, 2006, at 10:33 AM, Yosi Scharf wrote:
>> Creating a proof of the generation of a proof is not that useful.
>
> Huh? We're talking about a diagnostic option, not options
> for proof generation or not.

No actually. The lines are:

    # Check will not work with diag == 1
    diag.tracking = 0
    diag.setTracking(0)

diag.tracking is for proofs.


Yosi

Received on Tuesday, 26 December 2006 18:35:20 UTC