diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-03-05 18:19:10 -0800 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-03-05 18:19:10 -0800 |
| commit | 4bd03ca62ba3a97ec0d8dca33ce1993b577b153e (patch) | |
| tree | ebc35e54315f9f456642683f0f79a5b332cd9cf4 /Source/Dafny/RefinementTransformer.cs | |
| parent | 6ad022644a490a0019993325324782ccd58cff01 (diff) | |
Dafny: added experimental feature {:autocontracts} to de-clutter idiomatic specifications
Diffstat (limited to 'Source/Dafny/RefinementTransformer.cs')
0 files changed, 0 insertions, 0 deletions