blob: 97794a51c2055bf2b54c5af8e4372c77ceaa1e4c (
plain)
1
2
3
4
5
|
Verification of aux-info.chalice using parameters=""
21.5: Assertion might not hold. The expression at 21.12 might not evaluate to true.
Boogie program verifier finished with 1 errors and 0 smoke test warnings.
|