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