09 (show) | 15/15 100% | 15/15 100% | 15/15 100% | 15/15 100% | 15/15 100% | 14/15 93% | 15/15 100% | 14/15 93% | 15/15 100% | 14/15 93% | 15/15 100% | 98% |
---|
tests1.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
tests10.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
tests11.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
tests12.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
tests13.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
tests14.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
tests15.L2f | :) | :) | :) | :) | :) | :) | :) | :( | :) | :) | :) | 90% |
tests2.L2f | :) | :) | :) | :) | :) | :( | :) | :) | :) | :( | :) | 81% |
tests3.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
tests4.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
tests5.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
tests6.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
tests7.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
tests8.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
tests9.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
12 (show) | 16/16 100% | 16/16 100% | 16/16 100% | 16/16 100% | 16/16 100% | 16/16 100% | 16/16 100% | 16/16 100% | 16/16 100% | 16/16 100% | 16/16 100% | 100% |
---|
call-2.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
call.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
cmp.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
empty-fun.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
empty-live.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
mem.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
multiple-vars.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
no-color-2.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
no-color.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
one-var-no-conflict.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
one-var-one-reg.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
one-var.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
shift.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
stack-arg.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
sys-call.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
tail-call.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
16 (show) | 8/8 100% | 8/8 100% | 8/8 100% | 8/8 100% | 8/8 100% | 8/8 100% | 8/8 100% | 6/8 75% | 8/8 100% | 8/8 100% | 8/8 100% | 97% |
---|
1.L2f | :) | :) | :) | :) | :) | :) | :) | :( | :) | :) | :) | 90% |
2.L2f | :) | :) | :) | :) | :) | :) | :) | :( | :) | :) | :) | 90% |
3.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
4.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
5.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
6.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
7.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
8.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
23 (show) | 13/15 86% | 15/15 100% | 15/15 100% | 14/15 93% | 15/15 100% | 15/15 100% | 15/15 100% | 11/15 73% | 14/15 93% | 13/15 86% | 15/15 100% | 93% |
---|
1.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
10.L2f | :) | :) | :) | :) | :) | :) | :) | :( | :) | :) | :) | 90% |
11.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
12.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
13.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
14.L2f | :) | :) | :) | :) | :) | :) | :) | :( | :) | :) | :) | 90% |
15.L2f | :) | :) | :) | :) | :) | :) | :) | :( | :) | :) | :) | 90% |
2.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
3.L2f | :( | :) | :) | :) | :) | :) | :) | :( | :( | :( | :) | 63% |
4.L2f | :( | :) | :) | :) | :) | :) | :) | :) | :) | :( | :) | 81% |
5.L2f | :) | :) | :) | :( | :) | :) | :) | :) | :) | :) | :) | 90% |
6.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
7.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
8.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
9.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
26 (show) | 14/15 93% | 15/15 100% | 15/15 100% | 15/15 100% | 15/15 100% | 15/15 100% | 15/15 100% | 15/15 100% | 15/15 100% | 13/15 86% | 15/15 100% | 98% |
---|
1.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
10.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
11.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
12.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
13.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
14.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
15.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :( | :) | 90% |
2.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
3.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
4.L2f | :( | :) | :) | :) | :) | :) | :) | :) | :) | :( | :) | 81% |
5.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
6.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
7.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
8.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
9.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
29 (show) | 15/15 100% | 15/15 100% | 15/15 100% | 15/15 100% | 15/15 100% | 15/15 100% | 15/15 100% | 15/15 100% | 15/15 100% | 15/15 100% | 15/15 100% | 100% |
---|
01.given-example.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
02.impossible.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
03.return.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
04.spilled-var.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
05.xchg.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
06.recursion.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
07.not-r10.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
08.can-only-be-rcx.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
09.share.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
11.five-variables.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
12.return-first.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
13.print.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
14.print-spilled.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
15.must-spill.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
16.all-callee-free.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
robby (show) | 82/82 100% | 82/82 100% | 82/82 100% | 82/82 100% | 82/82 100% | 82/82 100% | 82/82 100% | 72/82 87% | 80/82 97% | 77/82 93% | 82/82 100% | 98% |
---|
0.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
1.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
10.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
11.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
12.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
13.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
14.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
15.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
16.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
17.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
18.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
19.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
2.L2f | :) | :) | :) | :) | :) | :) | :) | :( | :) | :) | :) | 90% |
20.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
21.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
22.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
23.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
24.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
25.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
26.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
27.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
28.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
29.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
3.L2f | :) | :) | :) | :) | :) | :) | :) | :( | :) | :) | :) | 90% |
30.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
31.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
32.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
33.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
34.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
35.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
36.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
37.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
38.L2f | :) | :) | :) | :) | :) | :) | :) | :( | :) | :) | :) | 90% |
39.L2f | :) | :) | :) | :) | :) | :) | :) | :( | :) | :( | :) | 81% |
4.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
40.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
41.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :( | :) | 90% |
42.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
43.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
44.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
45.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
46.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
47.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
48.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
49.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
5.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
50.L2f | :) | :) | :) | :) | :) | :) | :) | :( | :) | :) | :) | 90% |
51.L2f | :) | :) | :) | :) | :) | :) | :) | :( | :) | :) | :) | 90% |
52.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
53.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
54.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
55.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
56.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
57.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
58.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
59.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
6.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
60.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
61.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
62.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
63.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
64.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
65.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
66.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
67.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
68.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
69.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
7.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
70.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
71.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
72.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
73.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :( | :) | 90% |
74.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
75.L2f | :) | :) | :) | :) | :) | :) | :) | :( | :( | :( | :) | 72% |
76.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
77.L2f | :) | :) | :) | :) | :) | :) | :) | :( | :( | :( | :) | 72% |
78.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
79.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
8.L2f | :) | :) | :) | :) | :) | :) | :) | :( | :) | :) | :) | 90% |
80.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
81.L2f | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | :) | 100% |
9.L2f | :) | :) | :) | :) | :) | :) | :) | :( | :) | :) | :) | 90% |
All | 98% (✓) | 100% (✓) | 100% (✓) | 99% (✓) | 100% (✓) | 99% (✓) | 100% (✓) | 89% (✗) | 98% (✓) | 93% (✗) | 100% (✓) | - |