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