Decision #254 — `lib.rs:4544`

Status: unreached

Truth table

row	c0 br 1299	c1 br 1302	c2 br 1303	outcome

Independent-effect pairs

All 3 conditions live in <alloc::collections::btree::map::BTreeMap<_, _, _> as core::clone::Clone>::clone::clone_subtree::<usize, alloc::collections::btree::set_val::SetValZST, alloc::alloc::Global> — 3 br_if

c0 (branch 1299): DEAD view gap →
c1 (branch 1302): DEAD view gap →
c2 (branch 1303): DEAD view gap →

← back to scry-mcdc

Decision #254 — lib.rs:4544

Truth table

Independent-effect pairs

Decision #254 — `lib.rs:4544`