diff options
| author |  Rustan Leino <unknown> | 2013-04-19 17:26:14 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-04-19 17:26:14 -0700 |
| commit | 9aaa0798bac4672064b75d311d23f7dc7e61bca7 (patch) | |
| tree | de675245ff23fa5ec1d8598bf1b96becb2f0dbcd /Test/dafny1 | |
| parent | 7555f1e7dc8556b8ff1d2cab3c637b0556d1a946 (diff) | |
Fixed (completeness) bug in translation of automatic induction--previously, the induction-inserted 'forall' statement had caused the heap to be advanced).
Diffstat (limited to 'Test/dafny1')
0 files changed, 0 insertions, 0 deletions