Decision #37 — library/alloc/src/collections/btree/map.rs:1736
Status: partial
Truth table
| row | c0 br 266 | c1 br 267 | outcome |
|---|---|---|---|
| 102216 | F | T | T |
| 104721 | F | F | F |
| 104722 | F | F | F |
| 104723 | F | F | F |
| 108696 | F | T | T |
| 110676 | F | F | F |
| 110677 | F | F | F |
| 113989 | F | F | F |
Independent-effect pairs
c0(branch266): GAP view gap →<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::StackBound, <alloc::vec::Vec<scry_analyze_core::StackBound>>::extend_trusted<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}>>::{closure#0}>::{closure#0}>· br_ifc1(branch267): PROVED — pair rows102216,104721(unique-cause)<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::StackBound, <alloc::vec::Vec<scry_analyze_core::StackBound>>::extend_trusted<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}>>::{closure#0}>::{closure#0}>· br_if