blob: 29936428c1432699b361ef8b7528b302673c0da1 (
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
25
26
27
28
29
30
31
32
|
digraph G {
a [label="A\n101"]
a -> b
a -> c
b [label="B\n111"]
b -> s0
s0 [label="SKIP\n0x00..."]
b -> d
d [label="D\n011"]
d -> f
d -> s1
s1 [label="SKIP\n0x22..."]
f [label="F\n000"]
f -> v1
v1 [label="VERIFY\n0x55..."]
f -> s2
s2 [label="SKIP\n0x66..."]
c [label="C\n010"]
c -> v2
v2 [label="VERIFY\n0x11..."]
c -> e
e [label="E\n001"]
e -> v3
v3 [label="VERIFY\n0x33..."]
e -> v4
v4 [label="VERIFY\n0x44..."]
}
|
