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

Boogie program verifier finished with 12 verified, 0 errors