blob: 55f4bf3c422eba39c9ee836ccd22e8337544949d (
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.
|
