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.