blob: aa959a1dfa697faafcb6e4a06897ffe16710f1ea (
plain)
1
2
3
4
5
6
7
8
|
FormulaTerm2.bpl(41,5): Error BP5001: This assertion might not hold.
Execution trace:
FormulaTerm2.bpl(38,3): start
FormulaTerm2.bpl(49,5): Error BP5001: This assertion might not hold.
Execution trace:
FormulaTerm2.bpl(47,3): start
Boogie program verifier finished with 2 verified, 2 errors
|
