-
Notifications
You must be signed in to change notification settings - Fork 0
/
fact-abstract.json
70 lines (70 loc) · 1.28 KB
/
fact-abstract.json
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
{
"nodes" : [ {
"label" : "ev((letrec ((fact (lambda (n) (if (= n 0) 1 (* n (fact (- n 1))))))) (fact 5)))"
}, {
"label" : "ev((fact 5))"
}, {
"label" : "ev((if (= n 0) 1 (* n (fact (- n 1)))))"
}, {
"label" : "ev((= n 0))"
}, {
"label" : "ko(Bool)"
}, {
"label" : "ev(1)"
}, {
"label" : "ev((* n (fact (- n 1))))"
}, {
"label" : "ko(Int)"
}, {
"label" : "ev((fact (- n 1)))"
}, {
"label" : "ev((- n 1))"
}, {
"label" : "ko(Int)"
}, {
"label" : "ev((if (= n 0) 1 (* n (fact (- n 1)))))"
}, {
"label" : "ev(1)"
}, {
"label" : "ev((* n (fact (- n 1))))"
}, {
"label" : "ko(Int)"
} ],
"edges" : [ [ [ 1, {
"label" : ""
} ] ], [ [ 2, {
"label" : ""
} ] ], [ [ 3, {
"label" : ""
} ] ], [ [ 4, {
"label" : ""
} ] ], [ [ 5, {
"label" : ""
} ], [ 6, {
"label" : ""
} ], [ 12, {
"label" : ""
} ], [ 13, {
"label" : ""
} ] ], [ [ 7, {
"label" : ""
} ] ], [ [ 8, {
"label" : ""
} ] ], [ [ 9, {
"label" : ""
} ] ], [ [ 10, {
"label" : ""
} ] ], [ [ 11, {
"label" : ""
} ] ], [ [ 3, {
"label" : ""
} ] ], [ [ 14, {
"label" : ""
} ] ], [ [ 8, {
"label" : ""
} ] ], [ [ 7, {
"label" : ""
} ], [ 14, {
"label" : ""
} ] ] ]
}