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