### 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 <...>/for.hlt:4:1-11:1" shape=triangle xlabel="in: [] out: []"];
    2 [label="end <...>/for.hlt:4:1-11:1" shape=triangle xlabel="in: [] out: []"];
    0 -> 2 [label="0"];
    2 -> 1 [label="1"];
}
[debug/cfg-initial] Function 'fn'
digraph {
    0 [label="[1, 2, 3]" xlabel="in: [i: local uint<64> i] out: [i: local uint<64> i] keep"];
    1 [label="i++;" xlabel="read: [i] write: [i] in: [i: local uint<64> i] out: [i: local uint<64> i] keep"];
    2 [label="local uint<64> i" xlabel="gen: [i: local uint<64> i] kill: [i: local uint<64> i] in: [i: local uint<64> i] out: [i: local uint<64> i]"];
    3 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    4 [label="end <...>/for.hlt:6:20-9:1" shape=triangle xlabel="in: [] out: []"];
    5 [label="end <...>/for.hlt:6:20-9:1" shape=triangle xlabel="in: [] out: []"];
    6 [label="end <...>/for.hlt:8:9-8:12" shape=triangle xlabel="in: [i: local uint<64> i] out: [i: local uint<64> i]"];
    7 [label="end <...>/for.hlt:7:5-8:12" shape=triangle xlabel="kill: [i: local uint<64> i] in: [i: local uint<64> i] out: []"];
    3 -> 0 [label="0"];
    0 -> 2 [label="1"];
    2 -> 1 [label="2"];
    1 -> 6 [label="3"];
    6 -> 0 [label="4"];
    0 -> 7 [label="5"];
    7 -> 5 [label="6"];
    5 -> 4 [label="7"];
}
[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"];
}
