blob: f3c3a28a0a0f75580087ccd445d3186a0f8a90d0 (
plain)
1
2
3
4
5
6
7
|
Verification of producer-consumer.chalice using parameters=""
42.5: The statements after the while-loop are unreachable.
81.5: The statements after the while-loop are unreachable.
Boogie program verifier finished with 0 errors and 2 smoke test warnings
|