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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
function zero(...rest)
{
assertEq(rest.length, 0, "zero rest wrong length");
}
function tzero()
{
zero();
}
tzero(); tzero(); tzero();
function one(...rest)
{
assertEq(rest.length, 1, "one rest wrong length");
}
function tone()
{
one(0);
}
tone(); tone(); tone();
function two(...rest)
{
assertEq(rest.length, 2, "two rest wrong length");
}
function ttwo()
{
two(0, 1);
}
ttwo(); ttwo(); ttwo();
function zeroWithLeading0(x, ...rest)
{
assertEq(rest.length, 0, "zeroWithLeading0 rest wrong length");
}
function tzeroWithLeading0()
{
zeroWithLeading0();
}
tzeroWithLeading0(); tzeroWithLeading0(); tzeroWithLeading0();
function zeroWithLeading1(x, ...rest)
{
assertEq(rest.length, 0, "zeroWithLeading1 rest wrong length");
}
function tzeroWithLeading1()
{
zeroWithLeading1(0);
}
tzeroWithLeading1(); tzeroWithLeading1(); tzeroWithLeading1();
function oneWithLeading(x, ...rest)
{
assertEq(rest.length, 1, "oneWithLeading rest wrong length");
}
function toneWithLeading()
{
oneWithLeading(0, 1);
}
toneWithLeading(); toneWithLeading(); toneWithLeading();
function twoWithLeading(x, ...rest)
{
assertEq(rest.length, 2, "twoWithLeading rest wrong length");
}
function ttwoWithLeading()
{
twoWithLeading(0, 1, 2);
}
ttwoWithLeading(); ttwoWithLeading(); ttwoWithLeading();
|
