diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-09-11 13:20:52 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-09-11 13:20:52 -0700 |
| commit | 4e1b5db18c8c57ec44421031a13e6e79bb7e5d64 (patch) | |
| tree | 51c978f47a5223dd11ec916dfe72f301b65e580c /Dafny/Scanner.cs | |
| parent | 3e68c6c93cc1bfbb6491e42945ce3c0b630a1f2f (diff) | |
Dafny: generate a compiler error upon encountering an assume statement
Dafny: don't compile programs unless all methods have been verified (or a forced compile is requested)
Diffstat (limited to 'Dafny/Scanner.cs')
0 files changed, 0 insertions, 0 deletions