Decision #493 — `binary_reader.rs:915`

Status: unreached

Truth table

row	c0 br 3318	c1 br 3319	c2 br 3320	c3 br 3321	c4 br 3322	c5 br 3323	c6 br 3324	c7 br 3325	c8 br 3326	c9 br 3327	c10 br 3328	outcome

Independent-effect pairs

All 11 conditions live in wasmparser::binary_reader::BinaryReader::read_var_s33 — 11 br_if

c0 (branch 3318): DEAD view gap →
c1 (branch 3319): DEAD view gap →
c2 (branch 3320): DEAD view gap →
c3 (branch 3321): DEAD view gap →
c4 (branch 3322): DEAD view gap →
c5 (branch 3323): DEAD view gap →
c6 (branch 3324): DEAD view gap →
c7 (branch 3325): DEAD view gap →
c8 (branch 3326): DEAD view gap →
c9 (branch 3327): DEAD view gap →
c10 (branch 3328): DEAD view gap →

← back to scry-mcdc