blob: 1838fbc30151939a93a66921568c597aca25da16 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
Dafny program verifier finished with 22 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
This is OtherModule.P((7.0 / 1.0))
From OtherModule.Y: 7 and True
This is OtherModule.P((7.0 / 1.0))
From OtherModule.X: 7 and True
c.f= 15 j.f= 15
c.f= 18 j.f= 18
|
