blob: ad21a1ea5fe6156eb16a443b73d684fe90de4feb (
plain)
1
2
3
4
5
|
foo.bpl(15,3): Error BP5001: This assertion might not hold.
foo.bpl(15,3): Error BP5001: This assertion might not hold.
foo.bpl(15,3): Error BP5001: This assertion might not hold.
Boogie program verifier finished with 0 verified, 3 errors
|
