Decision #259 — library/core/src/iter/traits/iterator.rs:2670
Status: partial
Truth table
| row | c0 br 1345 | c1 br 1346 | outcome |
|---|---|---|---|
| 127 | F | F | F |
| 128 | F | F | F |
| 129 | F | F | F |
| 130 | F | F | F |
| 131 | F | F | F |
| 3921 | F | F | F |
| 3922 | F | F | F |
| 3923 | F | F | F |
| 3924 | F | F | F |
| 3925 | F | F | F |
| 7604 | F | F | F |
| 7605 | F | F | F |
| 7606 | F | F | F |
| 7607 | F | F | F |
| 7608 | F | F | F |
| 11704 | F | F | F |
| 13080 | F | F | F |
| 14405 | F | F | F |
| 15896 | F | F | F |
| 25376 | F | F | F |
| 34838 | F | F | F |
| 41051 | F | F | F |
| 47210 | F | F | F |
| 47211 | F | F | F |
| 47212 | F | F | F |
| 47213 | F | F | F |
| 51338 | F | F | F |
| 51339 | F | F | F |
| 51340 | F | F | F |
| 51341 | F | F | F |
| 55876 | F | F | F |
| 55877 | F | F | F |
| 55878 | F | F | F |
| 55879 | F | F | F |
| 60134 | F | F | F |
| 60135 | F | F | F |
| 60136 | F | F | F |
| 60137 | F | F | F |
| 64311 | F | F | F |
| 75824 | F | F | F |
| 87355 | F | F | F |
| 87356 | F | F | F |
| 87357 | F | F | F |
| 87358 | F | F | F |
| 87359 | F | F | F |
| 87360 | F | F | F |
| 91623 | F | F | F |
| 91624 | F | F | F |
| 91625 | F | F | F |
| 91626 | F | F | F |
| 91627 | F | F | F |
| 91628 | F | F | F |
| 95765 | F | T | T |
| 95766 | F | T | T |
| 95767 | F | T | T |
| 97787 | F | F | F |
| 99305 | F | F | F |
| 100720 | F | F | F |
| 102289 | F | F | F |
| 104946 | F | F | F |
| 104947 | F | F | F |
| 104948 | F | F | F |
| 108748 | F | F | F |
| 110878 | F | F | F |
| 110879 | F | F | F |
| 114095 | F | F | F |
| 117407 | F | F | F |
| 140343 | F | F | F |
| 163022 | F | F | F |
| 164577 | F | F | F |
| 166299 | F | F | F |
Independent-effect pairs
c0(branch1345): GAP view gap →<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, scry_analyze_core::clone_value> as core::iter::traits::iterator::Iterator>::collect::<alloc::vec::Vec<scry_analyze_core::AbstractValue>>· br_if
inlined: library/core/src/iter/adapters/map.rs:128c1(branch1346): PROVED — pair rows127,95765(unique-cause)<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, scry_analyze_core::clone_value> as core::iter::traits::iterator::Iterator>::collect::<alloc::vec::Vec<scry_analyze_core::AbstractValue>>· br_if
inlined: library/core/src/iter/adapters/map.rs:128