blob: 5268bec70ab8c9b81f65ddb8ddf445f8d9a571ab (
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.
|