Test/irondafny0/xrefine2.dfy.expect


1
2
3
4
5
6
7
8
9


Dafny program verifier finished with 13 verified, 0 errors
Program compiled successfully
Running...

HI.foo(h1) => True
HI.foo(h2) => True
PI.orange(1) => 2
PI.apple(2) => 3