blob: 826591c0adc659b72db491d36af1176e66bc69bb (
plain)
1
2
3
4
5
6
7
8
|
-------------------- contractinfer --------------------
Boogie program verifier finished with 2 verified, 0 errors
-------------------- flpydisk --------------------
Boogie program verifier finished with 2 verified, 0 errors
|