summaryrefslogtreecommitdiff
path: root/Test/civl/lock-introduced.bpl.expect
blob: f62a8f468aefb2ce1735f50481702c3079e9384a (plain)
1
2

Boogie program verifier finished with 12 verified, 0 errors