diff options
author | 2011-06-01 10:11:59 -0700 | |
---|---|---|
committer | 2011-06-01 10:11:59 -0700 | |
commit | 8c7c61df9b89ab12f1a679e1bc34d38fa2403761 (patch) | |
tree | 6bc49fc14da08a939a65d4f7ed75d0375862132a /Test/VSI-Benchmarks/b5.dfy | |
parent | 5250fb1448cba7acc192c72b781d2aa20bdcb78f (diff) |
Dafny: fixed soundness problem with HeapSucc axiom
Diffstat (limited to 'Test/VSI-Benchmarks/b5.dfy')
0 files changed, 0 insertions, 0 deletions