blob: 01bdd7bbe6dc82372bbc50ae03e2e710a363f910 (
plain)
1
2
3
4
5
|
Verification of framing-functions.chalice using parameters=""
23.5: Assertion might not hold. The expression at 23.12 might not evaluate to true.
Boogie program verifier finished with 1 errors and 0 smoke test warnings.
|