-
Notifications
You must be signed in to change notification settings - Fork 0
/
2.dot
33 lines (29 loc) · 1.43 KB
/
2.dot
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
digraph "Automata" {
"0" [shape=doubleoctagon, style=filled, fillcolor=white, URL="0"];
"1" [shape=ellipse, style=filled, fillcolor=white, URL="1"];
"2" [shape=ellipse, style=filled, fillcolor=white, URL="2"];
"3" [shape=ellipse, style=filled, fillcolor=white, URL="3"];
"0" -> "1" [fontsize=5, label="Server_Hello / -", URL="t0"];
"0" -> "0" [fontsize=5, label="EE+CERT+CV+FIN / EXP", URL="t1"];
"0" -> "0" [fontsize=5, label="Handshake_Done / EXP", URL="t2"];
"0" -> "0" [fontsize=5, label="HTTP / EXP", URL="t3"];
"1" -> "1" [fontsize=5, label="Server_Hello / EXP", URL="t4"];
"1" -> "2" [fontsize=5, label="EE+CERT+CV+FIN / FIN + GET", URL="t5"];
"1" -> "1" [fontsize=5, label="Handshake_Done / EXP", URL="t6"];
"1" -> "1" [fontsize=5, label="HTTP / EXP", URL="t7"];
"2" -> "2" [fontsize=5, label="Server_Hello / EXP", URL="t8"];
"2" -> "2" [fontsize=5, label="EE+CERT+CV+FIN / EXP", URL="t9"];
"2" -> "3" [fontsize=5, label="Handshake_Done / -", URL="t10"];
"2" -> "2" [fontsize=5, label="HTTP / EXP", URL="t11"];
"3" -> "3" [fontsize=5, label="Server_Hello / EXP", URL="t12"];
"3" -> "3" [fontsize=5, label="EE+CERT+CV+FIN / EXP", URL="t13"];
"3" -> "3" [fontsize=5, label="Handshake_Done / EXP", URL="t14"];
"3" -> "3" [fontsize=5, label="HTTP / closed", URL="t15"];
}
==> QUIC machine Automata dumped in 2.dot
Knowledge base stats:
- nb query= 510
- nb submited query= 119
- nb letter= 1260
- nb submited letter= 412
==> Taken Time:133.041574716568