1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
Dafny program verifier finished with 19 verified, 0 errors
0 0 0 false Color.Orange 0.0 {}
null null null null null
{} multiset{} [] map[] {} map[]
null null null null
0 [] {} 0 Dt.D0(0)
false Color.Orange {} false Dt.D0(false)
NonemptyList.Atom(0)
6 7 8 9
true true
IList.INil IList.ICons
IList.INil IList.INil Stream.Next IList.INil
NonemptyList.Atom(0)
NonemptyCoList.CoAtom
Color.Pink 19 -3
null null null null
System.Func`2[Dafny.BigRational,System.Boolean]
System.Func`1[System.Numerics.BigInteger]
System.Func`3[_module.Color,Dafny.Set`1[System.UInt16],System.UInt32]
Dafny program verifier finished with 19 verified, 0 errors
0 0 0 false Color.Orange 0.0 {}
null null null null null
{} multiset{} [] map[] {} map[]
null null null null
0 [] {} 0 Dt.D0(0)
false Color.Orange {} false Dt.D0(false)
NonemptyList.Atom(0)
6 7 8 9
true true
IList.INil IList.ICons
IList.INil IList.INil Stream.Next IList.INil
NonemptyList.Atom(0)
NonemptyCoList.CoAtom
Color.Pink 19 -3
null null null null
function () { return false; }
function () { return new BigNumber(0); }
function () { return new BigNumber(0); }
Dafny program verifier finished with 19 verified, 0 errors
0 0 0 false Color.Orange 0.0 {}
null null null null null
{} multiset{} [] map[] {} map[]
null null null null
0 [] {} 0 Dt.D0(0)
false Color.Orange {} false Dt.D0(false)
NonemptyList.Atom(0)
6 7 8 9
true true
IList.INil IList.ICons
IList.INil IList.INil Stream.Next IList.INil
NonemptyList.Atom(0)
NonemptyCoList.CoAtom
Color.Pink 19 -3
null null null null
func(dafny.Real) bool
func() dafny.Int
func(main.Color, dafny.Set) uint32
|
