blob: 2f325c42c437a4df98213d377b8e3ebbd8cabb18 (
plain)
1
2
3
4
5
|
Verification of quantifiers.chalice using parameters=""
57.29: The heap of the callee might not be strictly smaller than the heap of the caller.
Boogie program verifier finished with 1 errors and 0 smoke test warnings.
|