blob: 1be5bf8cb9a2b04815a7b3e3a980ce999cdd6af7 (
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
|