Decision #1109 — `binary_reader.rs:1410`

Status: unreached

Truth table

row	c0 br 7275	c1 br 7278	c2 br 7279	outcome

Independent-effect pairs

All 3 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 3 br_if

c0 (branch 7275): DEAD view gap →
c1 (branch 7278): DEAD view gap →
c2 (branch 7279): DEAD view gap →

← back to scry-mcdc

Decision #1109 — binary_reader.rs:1410

Truth table

Independent-effect pairs

Decision #1109 — `binary_reader.rs:1410`