Decision #978 — `lib.rs:1025`

Status: partial

Truth table

row	c0 br 1980	c1 br 1981	c2 br 1982	c3 br 1983	c4 br 1984	c5 br 1985	c6 br 1986	c7 br 1987	c8 br 1988	c9 br 1989	c10 br 1990	c11 br 1991	c12 br 1992	c13 br 1993	c14 br 1994	c15 br 1995	c16 br 1996	c17 br 1997	c18 br 1998	outcome

Independent-effect pairs

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

c0 (branch 1980): PROVED
c1 (branch 1981): DEAD view gap →
c2 (branch 1982): PROVED
c3 (branch 1983): PROVED
c4 (branch 1984): PROVED
c5 (branch 1985): DEAD view gap →
c6 (branch 1986): PROVED
c7 (branch 1987): PROVED
c8 (branch 1988): DEAD view gap →
c9 (branch 1989): PROVED
c10 (branch 1990): DEAD view gap →
c11 (branch 1991): DEAD view gap →
c12 (branch 1992): PROVED
c13 (branch 1993): PROVED
c14 (branch 1994): PROVED
c15 (branch 1995): DEAD view gap →
c16 (branch 1996): PROVED
c17 (branch 1997): DEAD view gap →
c18 (branch 1998): PROVED

← back to scry-mcdc