blob: 04c35bf4e653df91a78eddd7dda38c8408e5ffb3 (
plain)
1
2
3
4
5
6
|
Coercions2.bpl(18,23): Warning: type parameter a is ambiguous, instantiating to int
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, 1 error
|