diff options
| author |  rustanleino <unknown> | 2009-11-04 21:43:12 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2009-11-04 21:43:12 +0000 |
| commit | b5a942353fc4cf0b6a6c3df853860171e421a26a (patch) | |
| tree | daf6f35915d0e1a2d85397cea0de20a0d488f558 /Test/VSI-Benchmarks/b4.dfy | |
| 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/VSI-Benchmarks/b4.dfy')
0 files changed, 0 insertions, 0 deletions