blob: 7c295c9df994b9734ec79ee339cb51615f6f203e (
plain)
1
2
3
4
5
6
|
Verification of sequences.chalice using parameters=""
36.3: The postcondition at 41.13 might not hold. Insufficient permission at 41.13 for A.f
60.3: The postcondition at 65.13 might not hold. Insufficient permission at 65.13 for A.f
Boogie program verifier finished with 2 errors and 0 smoke test warnings
|
