blob: 7c696364125344436e959567372ceab0af9380cb (
plain)
1
2
3
4
5
6
|
parallel4.bpl(26,3): Error BP5001: This assertion might not hold.
Execution trace:
(0,0): og_init
parallel4.bpl(24,5): anon0$1
Boogie program verifier finished with 5 verified, 1 error
|