summaryrefslogtreecommitdiff
path: root/Test/civl/Program5.bpl.expect
blob: d7c0ff95ef68c035429639e77ae5dc050f003731 (plain)
1
2

Boogie program verifier finished with 18 verified, 0 errors