blob: efae2ed6c9061b439882676fa70024f8587fd624 (
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 11 verified, 1 error
|