blob: f05847b647079cbe22b303733bc3b0405a88ef07 (
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
|