Test/dafny0/Trait/TraitCompile.dfy.expect


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18


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

y=120
x=12
d=800
a5=407
t=1212
z=30
z'=30
w=30
d=1000
a5=507
t=1512
t=1512
t=1515