diff options
| author |  qunyanm <unknown> | 2016-03-31 09:10:34 -0700 |
|---|---|---|
| committer | qunyanm <unknown> | 2016-03-31 09:10:34 -0700 |
| commit | 31ec9bc299901a1a85abbd091c3293af00354030 (patch) | |
| tree | 827f7c47136afc013e1695300a00363eb0e870c1 /Binaries/dafny-server | |
| parent | 62eb04905d6dcb3ab0b6d7cbf1051c97fec01474 (diff) | |
Fix issue 75. Adjust the fuel for existentials to use more fuel in an assume
context and less in an assert.
Diffstat (limited to 'Binaries/dafny-server')
0 files changed, 0 insertions, 0 deletions