diff options
| author |  leino <unknown> | 2014-10-21 14:39:02 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-10-21 14:39:02 -0700 |
| commit | e94dc5817a729ebdd6786deb17e1903974c8b981 (patch) | |
| tree | a9fd620cd9af4447c59e4d20c7adc61c48864e04 /Test/dafny0/Newtypes.dfy.expect | |
| parent | e72bc10129c6cef993f40fba751ff22260410c21 (diff) | |
Fixed crash in inferred descreases clauses involving newtypes.
Added BinarySearch as a test case.
Diffstat (limited to 'Test/dafny0/Newtypes.dfy.expect')
0 files changed, 0 insertions, 0 deletions