Decision #31 — library/core/src/iter/adapters/map.rs:128

Status: no_witness

Truth table

Independent-effect pairs

All 3 conditions live in <core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::resolved_stack_callees::{closure#1}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<alloc::vec::Vec<usize>, <alloc::vec::Vec<alloc::vec::Vec<usize>>>::extend_trusted<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::resolved_stack_callees::{closure#1}>>::{closure#0}>::{closure#0}> — 3 br_if

• c0 (branch 209): GAP view gap →
• c1 (branch 212): GAP view gap →
• c2 (branch 213): GAP view gap →

← back to scry-mcdc