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

Boogie program verifier finished with 1 verified, 0 errors