summaryrefslogtreecommitdiff
path: root/Test/civl/Program2.bpl.expect
blob: 5b2909f12352f9986ae9932c673aba93af7951b7 (plain)
1
2

Boogie program verifier finished with 3 verified, 0 errors