blob: 91c56769b3550de0c6ff939a735f9871445be5b0 (
plain)
1
2
3
4
5
6
7
8
|
Verification of CopyLessMessagePassing-with-ack.chalice using parameters=""
48.22: Assumption introduces a contradiction.
69.22: Assumption introduces a contradiction.
72.21: Assumption introduces a contradiction.
Boogie program verifier finished with 0 errors and 3 smoke test warnings
|