diff options
| author |  wuestholz <unknown> | 2011-09-23 14:44:56 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2011-09-23 14:44:56 +0200 |
| commit | 578d587dd67fa04a9f797a619e690b058c975e76 (patch) | |
| tree | 6e6e2978e76fe8b781fd54bf8a810d30722f3972 /Binaries | |
| parent | f2989828211de24fe2c0cea2dfc686f3620e46cb (diff) | |
Dafny: Added a 'Checked' configuration and fixed some runtime assertion violations.
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions