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

Status: partial

Truth table

row	c0 br 4322	c1 br 4323	c2 br 4324	c3 br 4325	c4 br 4326	c5 br 4327	c6 br 4328	c7 br 4329	c8 br 4330	c9 br 4331	c10 br 4332	c11 br 4333	c12 br 4334	c13 br 4335	c14 br 4336	c15 br 4337	c16 br 4386	c17 br 4387	c18 br 4388	c19 br 4389	outcome

Independent-effect pairs

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

c0 (branch 4322): PROVED
c1 (branch 4323): DEAD view gap →
c2 (branch 4324): PROVED
c3 (branch 4325): PROVED
c4 (branch 4326): PROVED
c5 (branch 4327): DEAD view gap →
c6 (branch 4328): PROVED
c7 (branch 4329): PROVED
c8 (branch 4330): DEAD view gap →
c9 (branch 4331): PROVED
c10 (branch 4332): DEAD view gap →
c11 (branch 4333): DEAD view gap →
c12 (branch 4334): PROVED
c13 (branch 4335): PROVED
c14 (branch 4336): PROVED
c15 (branch 4337): PROVED
c16 (branch 4386): DEAD view gap →
c17 (branch 4387): DEAD view gap →
c18 (branch 4388): DEAD view gap →
c19 (branch 4389): DEAD view gap →

← back to scry-mcdc