diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-05-19 11:53:56 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-05-19 11:53:56 -0700 |
| commit | de0a78a69aac57b2189caf7d8490975f25aea91a (patch) | |
| tree | c94831db7e3d99c333afe55d5d586b8147dace31 /.gitignore | |
| parent | b665a914c81085cf3ac4e97ea3c73673cfe8ca4b (diff) | |
Dafny: let verifier, not the resolver, check for missing cases in match expressions/statements
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions