summaryrefslogtreecommitdiff
path: root/Test/textbook/Output
blob: 9e2227dc758ab28c8d725948976712312e76c304 (plain)
1
2
3
4
5
6
7
8
9
10
11
12

------------------------------ Find.bpl ---------------------

Boogie program verifier finished with 2 verified, 0 errors

------------------------------ DutchFlag.bpl ---------------------

Boogie program verifier finished with 1 verified, 0 errors

------------------------------ Bubble.bpl ---------------------

Boogie program verifier finished with 1 verified, 0 errors