summaryrefslogtreecommitdiff
path: root/Test/civl/one.bpl.expect
blob: 41374b000a79ab6e9ba798032a0e529ace562b31 (plain)
1
2

Boogie program verifier finished with 2 verified, 0 errors