Decision #39 — library/core/src/iter/traits/iterator.rs:2670
Status: partial
Truth table
| row | c0 br 256 | c1 br 257 | c2 br 258 | c3 br 259 | c4 br 260 | outcome |
|---|---|---|---|---|---|---|
| 102225 | F | F | F | F | F | F |
| 102226 | F | F | F | T | * | T |
| 104748 | F | F | F | F | F | F |
| 104749 | F | F | F | F | T | T |
| 104750 | F | F | F | F | F | F |
| 104751 | F | F | F | F | T | T |
| 104752 | F | F | F | F | F | F |
| 104753 | F | F | F | F | T | T |
| 108703 | F | F | F | T | * | T |
| 110694 | F | F | F | F | F | F |
| 110695 | F | F | F | T | * | T |
| 110696 | T | * | * | * | * | T |
| 110697 | F | F | F | T | * | T |
| 110698 | T | * | * | * | * | T |
| 110699 | F | F | F | F | T | T |
| 110700 | F | F | F | F | F | F |
| 110701 | F | F | F | T | * | T |
| 110702 | T | * | * | * | * | T |
| 110703 | F | F | F | T | * | T |
| 110704 | T | * | * | * | * | T |
| 110705 | F | F | F | F | T | T |
| 113998 | F | F | F | F | F | F |
| 113999 | F | F | F | F | T | T |
Independent-effect pairs
All 5 conditions live in <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}> — 5 br_if
c0(branch256): PROVED — pair rows102225,110696(masking)c1(branch257): GAP view gap →c2(branch258): GAP view gap →c3(branch259): PROVED — pair rows102225,102226(masking)c4(branch260): PROVED — pair rows102225,104749(unique-cause)