diff options
author | 2011-09-11 13:20:52 -0700 | |
---|---|---|
committer | 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