Decision #535 — `lib.rs:1567`

Status: unreached

Truth table

row	c0 br 3713	c1 br 3717	c2 br 3718	c3 br 3719	c4 br 3720	c5 br 3721	c6 br 3722	c7 br 3723	c8 br 3725	c9 br 3727	c10 br 3728	c11 br 3733	c12 br 3734	outcome

Independent-effect pairs

All 13 conditions live in scry_analyze_core::analyze — 13 br_if

c0 (branch 3713): DEAD view gap →
c1 (branch 3717): DEAD view gap →
c2 (branch 3718): DEAD view gap →
c3 (branch 3719): DEAD view gap →
c4 (branch 3720): DEAD view gap →
c5 (branch 3721): DEAD view gap →
c6 (branch 3722): DEAD view gap →
c7 (branch 3723): DEAD view gap →
c8 (branch 3725): DEAD view gap →
c9 (branch 3727): DEAD view gap →
c10 (branch 3728): DEAD view gap →
c11 (branch 3733): DEAD view gap →
c12 (branch 3734): DEAD view gap →

← back to scry-mcdc