diff options
| author |  schaef <unknown> | 2009-12-18 13:41:32 +0000 |
|---|---|---|
| committer | schaef <unknown> | 2009-12-18 13:41:32 +0000 |
| commit | d5f09caee2ca7395d0a3dae6c29d7d10a6bc1de9 (patch) | |
| tree | ca6bc4de686a6e14cc32971483a1e675ef7c5315 /Binaries/DafnyPrelude.bpl | |
| parent | 9447617aefbe9706b0d74a827181976e4b9e9d26 (diff) | |
Doomed checking now uses the counterexample trace to minimize the number of theorem prover calls (See useCE in notdoomed.bpl).
Diffstat (limited to 'Binaries/DafnyPrelude.bpl')
0 files changed, 0 insertions, 0 deletions