Chalice/tests/predicates/framing-fields.output.txt


1
2
3
4
5

Verification of framing-fields.chalice using parameters="" 

  19.5: Assertion might not hold. The expression at 19.12 might not evaluate to true.

Boogie program verifier finished with 1 errors and 0 smoke test warnings