summaryrefslogtreecommitdiff
path: root/Test/civl/lock2.bpl.expect
blob: 05d394c7ce3b1da5ebfcd7bb5e7e1c3ec15b2f4b (plain)
1
2

Boogie program verifier finished with 5 verified, 0 errors