diff --git a/images/cfg.dot b/images/cfg.dot index 16e05db..ed4509d 100644 --- a/images/cfg.dot +++ b/images/cfg.dot @@ -1,19 +1,20 @@ -digraph "CFG" { - nodesep=0.6 - node [shape=box, fontname="Roboto Mono", fontsize=11] - - B1 [xlabel="B1", label="s = 0\li = 0\ln = 10\l"]; - B2 [xlabel="B2", label="t1 = a - b\lifz t1 goto B4\l"]; - B3 [xlabel="B3", label="t2 = i * 4\ls = s + t2\l"]; - B4 [xlabel="B4", label="s = s + i"]; - B5 [xlabel="B5", label="i = i + 1\lt3 = n - i\lifnz t3 goto B2\l"]; - B6 [xlabel="B6", label="t4 = a - b"]; - - B1 -> B2; - B2 -> B3 [label="F"]; - B2 -> B4 [label="T"]; - B3 -> B5; - B4 -> B5; - B5 -> B6 [label="F"]; - B5 -> B2 [label="T"]; -} +digraph "CFG" { + nodesep=0.6; + node [shape=box, fontname="Inconsolata", fontsize=11]; + edge [fontname="Roboto"]; + + B1 [xlabel="B1", label="s = 0\li = 0\ln = 10\l"]; + B2 [xlabel="B2", label="t1 = a - b\lifz t1 goto B4\l"]; + B3 [xlabel="B3", label="t2 = i * 4\ls = s + t2\l"]; + B4 [xlabel="B4", label="s = s + i"]; + B5 [xlabel="B5", label="i = i + 1\lt3 = n - i\lifnz t3 goto B2\l"]; + B6 [xlabel="B6", label="t4 = a - b"]; + + B1 -> B2; + B2 -> B3 [label="F"]; + B2 -> B4 [label="T"]; + B3 -> B5; + B4 -> B5; + B5 -> B6 [label="F"]; + B5 -> B2 [label="T"]; +} diff --git a/images/cfg.png b/images/cfg.png index fcb5170..4135013 100644 Binary files a/images/cfg.png and b/images/cfg.png differ