diff options
| author |  Rustan Leino <unknown> | 2013-12-09 19:08:13 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-12-09 19:08:13 -0800 |
| commit | 2f33a180d265f750f3713407ac2cdc6b6b282b58 (patch) | |
| tree | 724a056236d5475695192cebba16eaef3e9be20f /Test/dafny2 | |
| parent | 46697f949c2b63a769f15c7fa2db888b4367e95b (diff) | |
Fixed a bug in the Boogie generated for refinement checks (now that there is a new "layer" parameter)
Diffstat (limited to 'Test/dafny2')
0 files changed, 0 insertions, 0 deletions