summaryrefslogtreecommitdiff
path: root/Test/civl/linear-set.bpl.expect
blob: fef5ddc049c5ae847354eb4e76363c0dbcf2cb1e (plain)
1
2

Boogie program verifier finished with 4 verified, 0 errors