Test/test17/Answer


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