Decision #84 — library/core/src/iter/range.rs:900
Status: partial
Truth table
| row | c0 br 463 | c1 br 465 | outcome |
|---|---|---|---|
| 61 | F | * | F |
| 62 | F | * | F |
| 63 | F | * | F |
| 64 | F | * | F |
| 65 | F | * | F |
| 7021 | F | * | F |
| 7022 | F | * | F |
| 7023 | F | * | F |
| 7024 | F | * | F |
| 7025 | F | * | F |
| 13759 | F | * | F |
| 13760 | F | * | F |
| 13761 | F | * | F |
| 13762 | F | * | F |
| 13763 | F | * | F |
| 21192 | F | * | F |
| 23935 | F | * | F |
| 26578 | F | * | F |
| 29429 | F | * | F |
| 50284 | F | * | F |
| 70968 | F | * | F |
| 80851 | F | * | F |
| 90706 | F | * | F |
| 90707 | F | * | F |
| 90708 | F | * | F |
| 98480 | F | * | F |
| 98481 | F | * | F |
| 98482 | F | * | F |
| 106974 | F | * | F |
| 106975 | F | * | F |
| 106976 | F | * | F |
| 115050 | F | * | F |
| 115051 | F | * | F |
| 115052 | F | * | F |
| 122906 | F | * | F |
| 139625 | F | * | F |
| 156298 | F | * | F |
| 156299 | F | * | F |
| 156300 | F | * | F |
| 156301 | F | * | F |
| 156302 | F | * | F |
| 156303 | F | * | F |
| 166156 | F | * | F |
| 166157 | F | * | F |
| 166158 | F | * | F |
| 166159 | F | * | F |
| 166160 | F | * | F |
| 166161 | F | * | F |
| 175948 | F | * | F |
| 175949 | T | T | T |
| 175950 | T | T | T |
| 180748 | F | * | F |
| 184068 | F | * | F |
| 187175 | F | * | F |
| 190509 | F | * | F |
| 194743 | F | * | F |
| 194744 | F | * | F |
| 194745 | F | * | F |
| 202843 | F | * | F |
| 206090 | T | T | T |
| 206091 | T | T | T |
| 214461 | T | T | T |
| 222037 | F | * | F |
| 299414 | F | * | F |
| 376705 | F | * | F |
| 379342 | F | * | F |
| 382226 | F | * | F |
Independent-effect pairs
c0(branch463): PROVED — pair rows61,175949(masking)<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(branch465): 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_if