blob: eddb49273c72b626e2f3ac7d776ad59bbb8905b7 (
plain)
1
2
3
4
5
6
7
8
|
Verification of PetersonsAlgorithm.chalice using parameters=""
23.5: The statements after the while-loop are unreachable.
34.5: The statements after the while-loop are unreachable.
59.5: The statements after the while-loop are unreachable.
Boogie program verifier finished with 0 errors and 3 smoke test warnings.
|