Decision #623 — `lib.rs:1301`

Status: unreached

Truth table

row	c0 br 4592	c1 br 4593	c2 br 4598	outcome

Independent-effect pairs

c0 (branch 4592): DEAD view gap →
wasmparser::binary_reader::BinaryReader::skip · br_if
inlined: parser.rs:712
c1 (branch 4593): DEAD view gap →
wasmparser::binary_reader::BinaryReader::skip · br_if
inlined: parser.rs:712
c2 (branch 4598): DEAD view gap →
wasmparser::binary_reader::BinaryReader::skip · br_if

← back to scry-mcdc