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
|
