Decision #1711 — `operators.rs:198`

Status: unreached

Truth table

row	c0 br 8907	c1 br 8908	c2 br 8909	c3 br 8910	c4 br 8911	c5 br 8912	c6 br 8913	c7 br 8914	c8 br 8915	c9 br 8916	c10 br 8917	c11 br 8918	c12 br 8919	c13 br 8920	c14 br 8921	outcome

Independent-effect pairs

All 15 conditions live in <wasmparser::readers::core::types::RefType as core::fmt::Debug>::fmt — 1 br_table_default + 14 br_table_target

c0 (branch 8907): DEAD view gap →
c1 (branch 8908): DEAD view gap →
c2 (branch 8909): DEAD view gap →
c3 (branch 8910): DEAD view gap →
c4 (branch 8911): DEAD view gap →
c5 (branch 8912): DEAD view gap →
c6 (branch 8913): DEAD view gap →
c7 (branch 8914): DEAD view gap →
c8 (branch 8915): DEAD view gap →
c9 (branch 8916): DEAD view gap →
c10 (branch 8917): DEAD view gap →
c11 (branch 8918): DEAD view gap →
c12 (branch 8919): DEAD view gap →
c13 (branch 8920): DEAD view gap →
c14 (branch 8921): DEAD view gap →

← back to scry-mcdc