diff options
| author |  Unknown <mbarnett@MIKE-SONY.redmond.corp.microsoft.com> | 2012-07-31 16:22:49 -0700 |
|---|---|---|
| committer | Unknown <mbarnett@MIKE-SONY.redmond.corp.microsoft.com> | 2012-07-31 16:22:49 -0700 |
| commit | 4afe0b60ef0a72161a1d37d0ddf266d52e36d186 (patch) | |
| tree | e5f6dc2fbd3dd4721ba0179094e98d539b719877 /Source/Dafny.sln | |
| parent | c3f4fae804fe07942cc1f0e4fc6e40b2542de645 (diff) | |
Add an option to model exceptional control flow or not. When it is false:
method calls are not followed by a test to see if an exception was thrown
"throw e" is translated as "assume false"
"try S catch C finally F" is translated as "S; F"
Diffstat (limited to 'Source/Dafny.sln')
0 files changed, 0 insertions, 0 deletions