Decision #1011 — lib.rs:1301
Status: partial
Truth table
| row | c0 br 4688 | c1 br 4689 | c2 br 4690 | c3 br 4691 | c4 br 4692 | c5 br 4693 | c6 br 4694 | c7 br 4695 | c8 br 4696 | c9 br 4697 | c10 br 4698 | c11 br 4699 | c12 br 4700 | c13 br 4701 | c14 br 4702 | outcome |
|---|
Independent-effect pairs
All 15 conditions live in wasmparser::parser::Parser::parse_reader — 1 br_table_default + 14 br_table_target
c0(branch4688): PROVEDc1(branch4689): PROVEDc2(branch4690): DEAD view gap →c3(branch4691): PROVEDc4(branch4692): PROVEDc5(branch4693): PROVEDc6(branch4694): PROVEDc7(branch4695): PROVEDc8(branch4696): DEAD view gap →c9(branch4697): PROVEDc10(branch4698): PROVEDc11(branch4699): DEAD view gap →c12(branch4700): DEAD view gap →c13(branch4701): DEAD view gap →c14(branch4702): DEAD view gap →