blob: d45375fac1f644e9a572d594ec0c95386a191c09 (
plain)
1
2
3
4
5
6
7
8
|
Lambda.bpl(41,3): Error BP5001: This assertion might not hold.
Execution trace:
Lambda.bpl(40,5): anon0
Lambda.bpl(42,3): Error BP5001: This assertion might not hold.
Execution trace:
Lambda.bpl(40,5): anon0
Boogie program verifier finished with 6 verified, 2 errors
|
