Decision #1438 — binary_reader.rs:94
Status: partial
Truth table
| row | c0 br 7402 | c1 br 7403 | c2 br 7404 | c3 br 7405 | c4 br 7406 | c5 br 7407 | c6 br 7408 | c7 br 7409 | c8 br 7410 | c9 br 7411 | c10 br 7412 | c11 br 7413 | c12 br 7414 | c13 br 7415 | c14 br 7416 | c15 br 7417 | c16 br 7418 | c17 br 7419 | c18 br 7420 | c19 br 7421 | c20 br 7422 | c21 br 7423 | c22 br 7424 | c23 br 7425 | c24 br 7426 | c25 br 7427 | c26 br 7428 | c27 br 7429 | c28 br 7430 | c29 br 7431 | c30 br 7432 | c31 br 7433 | c32 br 7434 | c33 br 7435 | outcome |
|---|
Independent-effect pairs
All 34 conditions live in <wasmparser::readers::core::exports::ExternalKind as wasmparser::readers::FromReader>::from_reader — 1 br_table_default + 33 br_table_target
c0(branch7402): PROVEDc1(branch7403): DEAD view gap →c2(branch7404): DEAD view gap →c3(branch7405): PROVEDc4(branch7406): DEAD view gap →c5(branch7407): DEAD view gap →c6(branch7408): DEAD view gap →c7(branch7409): DEAD view gap →c8(branch7410): DEAD view gap →c9(branch7411): DEAD view gap →c10(branch7412): DEAD view gap →c11(branch7413): DEAD view gap →c12(branch7414): DEAD view gap →c13(branch7415): DEAD view gap →c14(branch7416): DEAD view gap →c15(branch7417): DEAD view gap →c16(branch7418): DEAD view gap →c17(branch7419): DEAD view gap →c18(branch7420): DEAD view gap →c19(branch7421): DEAD view gap →c20(branch7422): DEAD view gap →c21(branch7423): DEAD view gap →c22(branch7424): DEAD view gap →c23(branch7425): DEAD view gap →c24(branch7426): DEAD view gap →c25(branch7427): DEAD view gap →c26(branch7428): DEAD view gap →c27(branch7429): DEAD view gap →c28(branch7430): DEAD view gap →c29(branch7431): DEAD view gap →c30(branch7432): DEAD view gap →c31(branch7433): DEAD view gap →c32(branch7434): DEAD view gap →c33(branch7435): DEAD view gap →