blob: 580a80689a4c969835d80bf92c7f7eff70ed9532 (
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.
|