Decision #829 — `binary_reader.rs:1022`

Status: unreached

Truth table

row	c0 br 5490	c1 br 5491	c2 br 5492	c3 br 5493	c4 br 5494	c5 br 5495	outcome

Independent-effect pairs

All 6 conditions live in <wasmparser::binary_reader::BinaryReaderError>::fmt — 6 br_if

c0 (branch 5490): DEAD view gap →
c1 (branch 5491): DEAD view gap →
c2 (branch 5492): DEAD view gap →
c3 (branch 5493): DEAD view gap →
c4 (branch 5494): DEAD view gap →
c5 (branch 5495): DEAD view gap →

← back to scry-mcdc