diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-11-16 22:15:41 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-11-16 22:15:41 -0800 |
| commit | 1558959e901ab53203f08c1dcbc6acaa7ed7460f (patch) | |
| tree | d7f8ca0a2290d0b31995be229eca370ff17aed9e /Test/vstte2012 | |
| parent | bfdeb65a0c0eb57c3a73a8d01165084179001cb2 (diff) | |
Dafny: fixed bad Code Contracts
Diffstat (limited to 'Test/vstte2012')
0 files changed, 0 insertions, 0 deletions