blob: c378844e5ee0393c58647854a63dc7fe46fdf583 (
plain)
1
2
3
4
5
6
7
8
|
DisjointDomains2.bpl(17,5): Error BP5001: This assertion might not hold.
Execution trace:
DisjointDomains2.bpl(15,3): start
DisjointDomains2.bpl(24,5): Error BP5001: This assertion might not hold.
Execution trace:
DisjointDomains2.bpl(22,3): start
Boogie program verifier finished with 4 verified, 2 errors
|