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