blob: e813890c54f61a16c1c9ba0ebf8f69df6949c51d (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
DisjointDomains.bpl(20,5): Error BP5001: This assertion might not hold.
Execution trace:
DisjointDomains.bpl(17,3): start
DisjointDomains.bpl(27,5): Error BP5001: This assertion might not hold.
Execution trace:
DisjointDomains.bpl(26,3): start
DisjointDomains.bpl(33,5): Error BP5001: This assertion might not hold.
Execution trace:
DisjointDomains.bpl(32,3): start
Boogie program verifier finished with 0 verified, 3 errors
|