Decision #1387 — `lib.rs:1734`

Status: partial

Truth table

row	c0 br 3536	c1 br 3537	c2 br 3538	c3 br 3539	c4 br 3540	c5 br 3541	c6 br 3542	c7 br 3543	c8 br 3544	c9 br 3545	c10 br 3546	c11 br 3547	c12 br 3548	c13 br 3549	c14 br 3550	c15 br 3551	c16 br 3552	c17 br 3553	outcome

Independent-effect pairs

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

c0 (branch 3536): PROVED
c1 (branch 3537): DEAD view gap →
c2 (branch 3538): DEAD view gap →
c3 (branch 3539): DEAD view gap →
c4 (branch 3540): DEAD view gap →
c5 (branch 3541): DEAD view gap →
c6 (branch 3542): DEAD view gap →
c7 (branch 3543): DEAD view gap →
c8 (branch 3544): DEAD view gap →
c9 (branch 3545): DEAD view gap →
c10 (branch 3546): DEAD view gap →
c11 (branch 3547): DEAD view gap →
c12 (branch 3548): DEAD view gap →
c13 (branch 3549): DEAD view gap →
c14 (branch 3550): DEAD view gap →
c15 (branch 3551): DEAD view gap →
c16 (branch 3552): DEAD view gap →
c17 (branch 3553): DEAD view gap →

← back to scry-mcdc