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