blob: 121a25ff2ca8c82245b15e567ac99a05d7c626e5 (
plain)
1
2
3
4
5
6
7
8
9
|
Coercions2.bpl(18,23): Warning: type parameter a is ambiguous, instantiating to int
Coercions2.bpl(24,3): Error BP5001: This assertion might not hold.
Execution trace:
Coercions2.bpl(24,3): anon0
Coercions2.bpl(29,3): Error BP5001: This assertion might not hold.
Execution trace:
Coercions2.bpl(24,3): anon0
Boogie program verifier finished with 0 verified, 2 errors
|