Decision #30 — library/alloc/src/raw_vec/mod.rs:424
Status: partial
Truth table
| row | c0 br 206 | c1 br 207 | outcome |
|---|---|---|---|
| 29 | F | F | F |
| 30 | F | F | F |
| 31 | F | F | F |
| 32 | F | F | F |
| 33 | F | F | F |
| 3823 | F | F | F |
| 3824 | F | F | F |
| 3825 | F | F | F |
| 3826 | F | F | F |
| 3827 | F | F | F |
| 7506 | F | F | F |
| 7507 | F | F | F |
| 7508 | F | F | F |
| 7509 | F | F | F |
| 7510 | F | F | F |
| 11671 | F | F | F |
| 13047 | F | F | F |
| 14372 | F | F | F |
| 15760 | F | F | F |
| 25240 | F | F | F |
| 34666 | F | F | F |
| 40879 | F | F | F |
| 47105 | F | F | F |
| 47106 | F | F | F |
| 47107 | F | F | F |
| 51233 | F | F | F |
| 51234 | F | F | F |
| 51235 | F | F | F |
| 55771 | F | F | F |
| 55772 | F | F | F |
| 55773 | F | F | F |
| 60029 | F | F | F |
| 60030 | F | F | F |
| 60031 | F | F | F |
| 64153 | F | F | F |
| 75666 | F | F | F |
| 87200 | F | F | F |
| 87201 | F | F | F |
| 87202 | F | F | F |
| 87203 | F | F | F |
| 87204 | F | F | F |
| 87205 | F | F | F |
| 91468 | F | F | F |
| 91469 | F | F | F |
| 91470 | F | F | F |
| 91471 | F | F | F |
| 91472 | F | F | F |
| 91473 | F | F | F |
| 95706 | F | F | F |
| 95707 | F | T | T |
| 95708 | F | T | T |
| 97758 | F | F | F |
| 99276 | F | F | F |
| 100691 | F | F | F |
| 102214 | F | F | F |
| 104711 | F | F | F |
| 104712 | F | F | F |
| 104713 | F | F | F |
| 108694 | F | F | F |
| 110668 | F | T | T |
| 110669 | F | T | T |
| 113975 | F | T | T |
| 117139 | F | F | F |
| 140075 | F | F | F |
| 162997 | F | F | F |
| 164552 | F | F | F |
| 166274 | F | F | F |
Independent-effect pairs
c0(branch206): GAP view gap →<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}>· br_ifc1(branch207): PROVED — pair rows29,95707(unique-cause)<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}>· br_if