summaryrefslogtreecommitdiff
path: root/Test/textbook/Find.bpl.expect
blob: 41374b000a79ab6e9ba798032a0e529ace562b31 (plain)
1
2

Boogie program verifier finished with 2 verified, 0 errors