diff options
| author |  Unknown <t-alekm@A3479878.redmond.corp.microsoft.com> | 2011-07-11 19:04:00 -0700 |
|---|---|---|
| committer | Unknown <t-alekm@A3479878.redmond.corp.microsoft.com> | 2011-07-11 19:04:00 -0700 |
| commit | 61acaf623c5acf36b57d958e788f10f3c23bd309 (patch) | |
| tree | 53564dd2519bd4f264c071fdd21a5a657d6cee6d /Dafny | |
| parent | 0392bb7f399fd0dc55159bc6caf6c249372d480d (diff) | |
- added the "timeout" option
- started to work on infering branches
Diffstat (limited to 'Dafny')
0 files changed, 0 insertions, 0 deletions