blob: 7a03627fb86fb449125e1f7d5c38615701802519 (
plain)
1
2
3
4
5
6
7
|
Verification of LoopLockChange.chalice using parameters=""
10.5: Method execution before loop might lock/unlock more than allowed by lockchange clause of loop.
35.5: The loop might lock/unlock more than the lockchange clause allows.
65.5: The loop might lock/unlock more than the lockchange clause allows.
Boogie program verifier finished with 14 verified, 3 errors
|