diff options
| author |  Rustan Leino <unknown> | 2013-12-17 18:20:36 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-12-17 18:20:36 -0800 |
| commit | 918aadf5c467e68f93b8d898496b62e6334ab122 (patch) | |
| tree | 4b197a1ec70e02f6ff7faf85972d90be5b1626d7 /Test/dafny2/COST-verif-comp-2011-1-MaxArray.dfy | |
| parent | 69690cc00356be153b2598cce3abb228d1cc5a33 (diff) | |
Fixed pretty printing of calc statements to use the new(-since-long) format.
Disallow dangling operator in calc (which had also allowed soundness bug).
Don't reprove the test files in dafny0 after testing their pretty printing.
Diffstat (limited to 'Test/dafny2/COST-verif-comp-2011-1-MaxArray.dfy')
0 files changed, 0 insertions, 0 deletions