
Dafny program verifier finished with 0 verified, 0 errors
M.m: Testing M.m
PASSED
M.t: Testing M.t
PASSED
m: Testing m
PASSED
q: Testing q
PASSED
pp: Testing pp
PASSED

Dafny program verifier finished with 0 verified, 0 errors
q: Testing q
PASSED

Dafny program verifier finished with 0 verified, 0 errors
M.m: Testing M.m
PASSED
m: Testing m
PASSED

Dafny program verifier finished with 0 verified, 0 errors
M.m: Testing M.m
PASSED
M.t: Testing M.t
PASSED

Dafny program verifier finished with 0 verified, 0 errors
m: Testing m
PASSED
q: Testing q
PASSED
