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 | 0d06cb1b6a16fee1a789f3b1b674d59cfcd11d92 (patch) | |
| tree | 53d25d76f411daebd462d5deff6ffbb244478891 /Source/Core/ResolutionContext.cs | |
| parent | 1561cbe8636d0a083aef03532aeb8153de372d42 (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 'Source/Core/ResolutionContext.cs')
0 files changed, 0 insertions, 0 deletions