diff options
author | 2009-11-04 21:43:12 +0000 | |
---|---|---|
committer | 2009-11-04 21:43:12 +0000 | |
commit | b5a942353fc4cf0b6a6c3df853860171e421a26a (patch) | |
tree | daf6f35915d0e1a2d85397cea0de20a0d488f558 /Test/test0/EmptyCallArgs.bpl | |
parent | feed2fc3444819451501cd086d1b789c2435b97d (diff) |
Added loop invariants to make VSI-Benchmarks/b8.dfy verify. (Still to do: uncomment a couple of the desired loop invariants.)
Diffstat (limited to 'Test/test0/EmptyCallArgs.bpl')
0 files changed, 0 insertions, 0 deletions