summaryrefslogtreecommitdiff
path: root/Test/lock/Lock.bpl.expect
blob: a9949f2e75567f43d1c52d3fb04ff86f9f19c6a0 (plain)
1
2

Boogie program verifier finished with 3 verified, 0 errors