blob: 19e55fef4d78d7fa9e3be877e33252af424f9b25 (
plain)
1
2
3
4
5
6
7
|
..\Test\floats\float11.bpl(21,2): Error BP5001: This assertion might not hold.
Execution trace:
..\Test\floats\float11.bpl(12,7): anon0
..\Test\floats\float11.bpl(16,2): anon3_LoopHead
..\Test\floats\float11.bpl(16,2): anon3_LoopDone
Boogie program verifier finished with 0 verified, 1 error
|
