### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
[debug/cfg-initial] Module 'foo'
digraph {
    0 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    1 [label="end <...>/try.hlt:4:1-38:1" shape=triangle xlabel="in: [] out: []"];
    2 [label="end <...>/try.hlt:4:1-38:1" shape=triangle xlabel="in: [] out: []"];
    0 -> 2 [label="0"];
    2 -> 1 [label="1"];
}
[debug/cfg-initial] Function 'fn1'
digraph {
    0 [label="1;" xlabel="in: [] out: []"];
    1 [label="2;" xlabel="in: [] out: []"];
    2 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    3 [label="end <...>/try.hlt:8:21-14:1" shape=triangle xlabel="in: [] out: []"];
    4 [label="end <...>/try.hlt:8:21-14:1" shape=triangle xlabel="in: [] out: []"];
    5 [label="end <...>/try.hlt:9:9-11:5" shape=triangle xlabel="in: [] out: []"];
    6 [shape=point xlabel="in: [] out: []"];
    7 [shape=point xlabel="in: [] out: []"];
    8 [label="end <...>/try.hlt:11:7-13:5" shape=triangle xlabel="in: [] out: []"];
    2 -> 0 [label="0"];
    0 -> 5 [label="1"];
    5 -> 6 [label="2"];
    5 -> 7 [label="3"];
    7 -> 1 [label="4"];
    1 -> 8 [label="5"];
    8 -> 6 [label="6"];
    6 -> 4 [label="7"];
    4 -> 3 [label="8"];
}
[debug/cfg-initial] Function 'fn2'
digraph {
    0 [label="1;" xlabel="in: [] out: []"];
    1 [label="2;" xlabel="in: [] out: []"];
    2 [label="3;" xlabel="in: [] out: []"];
    3 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    4 [label="end <...>/try.hlt:16:21-24:1" shape=triangle xlabel="in: [] out: []"];
    5 [label="end <...>/try.hlt:16:21-24:1" shape=triangle xlabel="in: [] out: []"];
    6 [label="end <...>/try.hlt:17:9-19:5" shape=triangle xlabel="in: [] out: []"];
    7 [shape=point xlabel="in: [] out: []"];
    8 [shape=point xlabel="in: [] out: []"];
    9 [label="end <...>/try.hlt:19:7-21:5" shape=triangle xlabel="in: [] out: []"];
    10 [label="end <...>/try.hlt:21:7-23:5" shape=triangle xlabel="in: [] out: []"];
    3 -> 0 [label="0"];
    0 -> 6 [label="1"];
    6 -> 7 [label="2"];
    6 -> 8 [label="3"];
    8 -> 1 [label="4"];
    1 -> 9 [label="5"];
    9 -> 7 [label="6"];
    8 -> 2 [label="7"];
    2 -> 10 [label="8"];
    10 -> 7 [label="9"];
    7 -> 5 [label="10"];
    5 -> 4 [label="11"];
}
[debug/cfg-initial] Function 'fn3'
digraph {
    0 [label="1;" xlabel="in: [] out: []"];
    1 [label="11;" xlabel="in: [] out: []"];
    2 [label="2;" xlabel="in: [] out: []"];
    3 [label="3;" xlabel="in: [] out: []"];
    4 [label="E(\"\")" xlabel="read: [E] write: [E] in: [] out: [] keep"];
    5 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    6 [label="end <...>/try.hlt:26:21-37:1" shape=triangle xlabel="in: [] out: []"];
    7 [label="end <...>/try.hlt:26:21-37:1" shape=triangle xlabel="in: [] out: []"];
    8 [label="end <...>/try.hlt:27:9-32:5" shape=triangle xlabel="in: [] out: []"];
    9 [label="end <...>/try.hlt:27:9-32:5" shape=triangle xlabel="in: [] out: []"];
    10 [shape=point xlabel="in: [] out: []"];
    11 [shape=point xlabel="in: [] out: []"];
    12 [shape=point xlabel="in: [] out: []"];
    13 [label="end <...>/try.hlt:32:7-34:5" shape=triangle xlabel="in: [] out: []"];
    14 [label="end <...>/try.hlt:34:7-36:5" shape=triangle xlabel="in: [] out: []"];
    5 -> 0 [label="0"];
    0 -> 4 [label="1"];
    4 -> 8 [label="2"];
    1 -> 9 [label="3"];
    8 -> 10 [label="4"];
    9 -> 10 [label="5"];
    10 -> 8 [label="6"];
    8 -> 11 [label="7"];
    8 -> 12 [label="8"];
    12 -> 2 [label="9"];
    2 -> 13 [label="10"];
    13 -> 11 [label="11"];
    12 -> 3 [label="12"];
    3 -> 14 [label="13"];
    14 -> 11 [label="14"];
    11 -> 7 [label="15"];
    7 -> 6 [label="16"];
}
[debug/cfg-initial] Module 'hilti'
digraph {
    0 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    1 [label="end <...>/hilti.hlt:3:1-68:1" shape=triangle xlabel="in: [] out: []"];
    2 [label="end <...>/hilti.hlt:3:1-68:1" shape=triangle xlabel="in: [] out: []"];
    0 -> 2 [label="0"];
    2 -> 1 [label="1"];
}
