summaryrefslogtreecommitdiff
path: root/Test/civl/new1.bpl.expect
blob: 00ddb38b45bbb0134263a3488c5838682575e4cf (plain)
1
2

Boogie program verifier finished with 4 verified, 0 errors