summaryrefslogtreecommitdiff
path: root/Chalice/tests/predicates/unfolding.output.txt
blob: 4a1ebbde7cee90bc481bfeec6868f519779e16d8 (plain)
1
2
3
4
5
Verification of unfolding.chalice using parameters="" 

  12.5: Assertion might not hold. The expression at 12.12 might not evaluate to true.

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