diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-01-04 15:10:03 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-01-04 15:10:03 -0800 |
| commit | 544da1e8cfb5d60a9803cc263383181e9fe3c25f (patch) | |
| tree | aed95d6b3338e56409369995bbacf8b3c0ffef32 /Dafny/Resolver.cs | |
| parent | 5677e04d7ff65162c5d8ea4edd1cea9553522836 (diff) | |
Dafny: disengaged old refinement test files
Diffstat (limited to 'Dafny/Resolver.cs')
0 files changed, 0 insertions, 0 deletions