blob: 23114b0a1b3b8f4c2c6d4ff293c9473baa1dca11 (
plain)
1
2
3
4
5
6
|
Verification of workitem-10194.chalice using parameters=""
20.35: Location might not be readable.
35.3: Assertion might not hold. The expression at 35.10 might not evaluate to true.
Boogie program verifier finished with 2 errors and 0 smoke test warnings
|
