blob: 2d6d752d48e866b91ba5d0ee484b436443d78c79 (
plain)
1
2
3
4
5
6
7
|
Verification of CopyLessMessagePassing-with-ack2.chalice using parameters=""
50.23: Assumption introduces a contradiction.
65.27: Assumption introduces a contradiction.
Boogie program verifier finished with 0 errors and 2 smoke test warnings
|