Decision #79 — `lib.rs:6532`

Status: unreached

Truth table

row	c0 br 438	c1 br 439	c2 br 440	c3 br 441	c4 br 442	c5 br 443	outcome

Independent-effect pairs

All 6 conditions live in <alloc::collections::btree::set::BTreeSet<u32>>::remove::<u32> — 6 br_if

c0 (branch 438): DEAD view gap →
c1 (branch 439): DEAD view gap →
c2 (branch 440): DEAD view gap →
c3 (branch 441): DEAD view gap →
c4 (branch 442): DEAD view gap →
c5 (branch 443): DEAD view gap →

← back to scry-mcdc