diff options
| author |  Unknown <afd@afd-THINK.doc.ic.ac.uk> | 2012-03-05 11:50:36 +0000 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.doc.ic.ac.uk> | 2012-03-05 11:50:36 +0000 |
| commit | 6ad022644a490a0019993325324782ccd58cff01 (patch) | |
| tree | 18820448063b1d4c9e39ded9874a2813c2494fd9 /Test/dafny1/Answer | |
| parent | f4ea98e3a8576d826144e90c086762d9d8d0e64d (diff) | |
Race checking assertions are now added as invariants and pre/post conditions by default. Also added a StructuredProgramVisitor class, to try to avoid code duplication. Changed Predicator to use this.
Diffstat (limited to 'Test/dafny1/Answer')
0 files changed, 0 insertions, 0 deletions