diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-02 17:58:49 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-02 17:58:49 -0700 |
| commit | 64b1e0ecf94c95f9de3a651ad1245e937241d69e (patch) | |
| tree | c407de246175c671cec97fb188638101eb79d9f7 /Dafny/cce.cs | |
| parent | cb24e4e69da6283835cc5f42c7b0f50dc604568d (diff) | |
Dafny: handle decreases clause for iterators
Diffstat (limited to 'Dafny/cce.cs')
0 files changed, 0 insertions, 0 deletions