Decision #1652 — `src/readers.rs:324`

Status: partial

Truth table

row	c0 br 4351	c1 br 4352	c2 br 4353	c3 br 4354	c4 br 4355	c5 br 4356	c6 br 4357	c7 br 4358	c8 br 4359	c9 br 4360	c10 br 4361	c11 br 4362	c12 br 4363	c13 br 4364	c14 br 4365	c15 br 4366	c16 br 4367	c17 br 4368	outcome

Independent-effect pairs

All 18 conditions live in scry_analyze_core::analyze — 1 br_table_default + 17 br_table_target

c0 (branch 4351): PROVED
c1 (branch 4352): DEAD view gap →
c2 (branch 4353): DEAD view gap →
c3 (branch 4354): DEAD view gap →
c4 (branch 4355): DEAD view gap →
c5 (branch 4356): DEAD view gap →
c6 (branch 4357): DEAD view gap →
c7 (branch 4358): DEAD view gap →
c8 (branch 4359): DEAD view gap →
c9 (branch 4360): DEAD view gap →
c10 (branch 4361): DEAD view gap →
c11 (branch 4362): DEAD view gap →
c12 (branch 4363): DEAD view gap →
c13 (branch 4364): DEAD view gap →
c14 (branch 4365): DEAD view gap →
c15 (branch 4366): DEAD view gap →
c16 (branch 4367): DEAD view gap →
c17 (branch 4368): DEAD view gap →

← back to scry-mcdc