### 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 <...>/while.hlt:4:1-22:1" shape=triangle xlabel="in: [] out: []"];
    2 [label="end <...>/while.hlt:4:1-22:1" shape=triangle xlabel="in: [] out: []"];
    0 -> 2 [label="0"];
    2 -> 1 [label="1"];
}
[debug/cfg-initial] Function 'fn1'
digraph {
    0 [label="True" xlabel="in: [] out: [] keep"];
    1 [label="1;" xlabel="in: [] out: []"];
    2 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    3 [label="end <...>/while.hlt:6:21-8:1" shape=triangle xlabel="in: [] out: []"];
    4 [label="end <...>/while.hlt:6:21-8:1" shape=triangle xlabel="in: [] out: []"];
    5 [label="end <...>/while.hlt:7:18-7:23" shape=triangle xlabel="in: [] out: []"];
    6 [shape=point xlabel="in: [] out: []"];
    2 -> 0 [label="0"];
    0 -> 1 [label="1"];
    1 -> 5 [label="2"];
    5 -> 0 [label="3"];
    0 -> 6 [label="4"];
    6 -> 4 [label="5"];
    4 -> 3 [label="6"];
}
[debug/cfg-initial] Function 'fn2'
digraph {
    0 [label="local uint<64> i = 0" xlabel="gen: [i: local uint<64> i = 0] in: [] out: [i: local uint<64> i = 0]"];
    1 [label="True" xlabel="in: [i: local uint<64> i = 0] out: [i: local uint<64> i = 0] keep"];
    2 [label="1;" xlabel="in: [i: local uint<64> i = 0] out: [i: local uint<64> i = 0]"];
    3 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    4 [label="end <...>/while.hlt:10:21-12:1" shape=triangle xlabel="in: [] out: []"];
    5 [label="end <...>/while.hlt:10:21-12:1" shape=triangle xlabel="kill: [i: local uint<64> i = 0] in: [i: local uint<64> i = 0] out: []"];
    6 [label="end <...>/while.hlt:11:38-11:43" shape=triangle xlabel="in: [i: local uint<64> i = 0] out: [i: local uint<64> i = 0]"];
    7 [shape=point xlabel="in: [i: local uint<64> i = 0] out: [i: local uint<64> i = 0]"];
    3 -> 0 [label="0"];
    0 -> 5 [label="1"];
    0 -> 1 [label="2"];
    1 -> 2 [label="3"];
    2 -> 6 [label="4"];
    6 -> 1 [label="5"];
    1 -> 7 [label="6"];
    7 -> 5 [label="7"];
    5 -> 4 [label="8"];
}
[debug/cfg-initial] Function 'fn3'
digraph {
    0 [label="True" xlabel="in: [] out: [] keep"];
    1 [label="1;" xlabel="in: [] out: []"];
    2 [label="2;" xlabel="in: [] out: []"];
    3 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    4 [label="end <...>/while.hlt:14:21-20:1" shape=triangle xlabel="in: [] out: []"];
    5 [label="end <...>/while.hlt:14:21-20:1" shape=triangle xlabel="in: [] out: []"];
    6 [label="end <...>/while.hlt:15:18-17:5" shape=triangle xlabel="in: [] out: []"];
    7 [shape=point xlabel="in: [] out: []"];
    8 [label="end <...>/while.hlt:17:12-19:5" shape=triangle xlabel="in: [] out: []"];
    3 -> 0 [label="0"];
    0 -> 1 [label="1"];
    1 -> 6 [label="2"];
    6 -> 0 [label="3"];
    0 -> 7 [label="4"];
    0 -> 2 [label="5"];
    2 -> 8 [label="6"];
    8 -> 7 [label="7"];
    7 -> 5 [label="8"];
    5 -> 4 [label="9"];
}
[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"];
}
