Decision #987 — `src/readers.rs:213`

Status: partial

Truth table

row	c0 br 2069	c1 br 2070	c2 br 2071	c3 br 2072	c4 br 2073	c5 br 2074	c6 br 2075	c7 br 2076	c8 br 2077	c9 br 2078	c10 br 2079	c11 br 2080	c12 br 2081	c13 br 2082	c14 br 2161	c15 br 2162	c16 br 2163	c17 br 2164	outcome

Independent-effect pairs

All 18 conditions live in scry_analyze_core::analyze — 2 br_table_default + 16 br_table_target

c0 (branch 2069): PROVED
c1 (branch 2070): DEAD view gap →
c2 (branch 2071): DEAD view gap →
c3 (branch 2072): DEAD view gap →
c4 (branch 2073): DEAD view gap →
c5 (branch 2074): DEAD view gap →
c6 (branch 2075): PROVED
c7 (branch 2076): DEAD view gap →
c8 (branch 2077): DEAD view gap →
c9 (branch 2078): DEAD view gap →
c10 (branch 2079): DEAD view gap →
c11 (branch 2080): DEAD view gap →
c12 (branch 2081): DEAD view gap →
c13 (branch 2082): DEAD view gap →
c14 (branch 2161): PROVED
c15 (branch 2162): DEAD view gap →
c16 (branch 2163): DEAD view gap →
c17 (branch 2164): PROVED

← back to scry-mcdc