summaryrefslogtreecommitdiff
path: root/Test/civl/lock.bpl.expect
blob: 76a9a2bfb2d76d80bd6679dfbbe032102dc4ac3f (plain)
1
2

Boogie program verifier finished with 8 verified, 0 errors