Decision #1718 — binary_reader.rs:123
Status: partial
Truth table
| row | c0 br 9004 | c1 br 9005 | c2 br 9006 | c3 br 9007 | c4 br 9008 | c5 br 9009 | c6 br 9010 | c7 br 9011 | c8 br 9012 | c9 br 9013 | c10 br 9014 | c11 br 9015 | c12 br 9016 | c13 br 9017 | c14 br 9018 | outcome |
|---|
Independent-effect pairs
All 15 conditions live in <wasmparser::readers::core::types::AbstractHeapType as wasmparser::readers::FromReader>::from_reader — 1 br_table_default + 14 br_table_target
c0(branch9004): DEAD view gap →c1(branch9005): DEAD view gap →c2(branch9006): DEAD view gap →c3(branch9007): DEAD view gap →c4(branch9008): DEAD view gap →c5(branch9009): DEAD view gap →c6(branch9010): DEAD view gap →c7(branch9011): DEAD view gap →c8(branch9012): PROVEDc9(branch9013): DEAD view gap →c10(branch9014): DEAD view gap →c11(branch9015): DEAD view gap →c12(branch9016): DEAD view gap →c13(branch9017): DEAD view gap →c14(branch9018): DEAD view gap →