Decision #22 — library/core/src/iter/traits/iterator.rs:2672
Status: full_mcdc
Truth table
| row | c0 br 161 | c1 br 163 | outcome |
|---|---|---|---|
| 50 | T | * | T |
| 51 | T | * | T |
| 52 | T | * | T |
| 53 | F | T | T |
| 54 | F | F | F |
| 55 | * | F | F |
| 3090 | T | * | T |
| 3091 | T | * | T |
| 3092 | T | * | T |
| 3093 | F | T | T |
| 3094 | F | F | F |
| 3095 | * | F | F |
| 5985 | T | * | T |
| 5986 | T | * | T |
| 5987 | T | * | T |
| 5988 | F | T | T |
| 5989 | F | F | F |
| 5990 | * | F | F |
| 9412 | F | F | F |
| 10560 | F | F | F |
| 11651 | F | F | F |
| 12847 | F | F | F |
| 20565 | F | F | F |
| 28234 | F | F | F |
| 34172 | F | F | F |
| 40077 | T | * | T |
| 40078 | F | T | T |
| 40079 | F | F | F |
| 40080 | * | F | F |
| 43045 | T | * | T |
| 43046 | F | T | T |
| 43047 | F | F | F |
| 43048 | * | F | F |
| 46498 | T | * | T |
| 46499 | F | T | T |
| 46500 | F | F | F |
| 46501 | * | F | F |
| 49617 | T | * | T |
| 49618 | F | T | T |
| 49619 | F | F | F |
| 49620 | * | F | F |
| 52610 | F | F | F |
| 62382 | F | F | F |
| 72159 | F | T | T |
| 72160 | * | T | T |
| 72161 | * | T | T |
| 72162 | * | T | T |
| 72163 | * | T | T |
| 72164 | F | F | F |
| 72165 | * | T | T |
| 72166 | * | T | T |
| 72167 | * | T | T |
| 72168 | * | T | T |
| 72169 | F | F | F |
| 72170 | * | T | T |
| 72171 | * | T | T |
| 72172 | * | T | T |
| 72173 | F | F | F |
| 72174 | * | T | T |
| 72175 | * | T | T |
| 72176 | F | F | F |
| 72177 | * | T | T |
| 72178 | F | F | F |
| 72179 | * | F | F |
| 75634 | F | T | T |
| 75635 | * | T | T |
| 75636 | * | T | T |
| 75637 | * | T | T |
| 75638 | * | T | T |
| 75639 | F | F | F |
| 75640 | * | T | T |
| 75641 | * | T | T |
| 75642 | * | T | T |
| 75643 | * | T | T |
| 75644 | F | F | F |
| 75645 | * | T | T |
| 75646 | * | T | T |
| 75647 | * | T | T |
| 75648 | F | F | F |
| 75649 | * | T | T |
| 75650 | * | T | T |
| 75651 | F | F | F |
| 75652 | * | T | T |
| 75653 | F | F | F |
| 75654 | * | F | F |
| 79050 | F | F | F |
| 79051 | T | * | T |
| 79052 | T | * | T |
| 80642 | F | F | F |
| 81829 | F | F | F |
| 82891 | F | F | F |
| 84085 | F | F | F |
| 85383 | T | * | T |
| 85384 | T | * | T |
| 85385 | F | F | F |
| 87486 | F | F | F |
| 88704 | T | * | T |
| 88705 | F | F | F |
| 90703 | F | F | F |
| 92205 | F | F | F |
| 111068 | F | F | F |
| 129854 | F | F | F |
| 131013 | F | F | F |
| 132340 | F | F | F |
Independent-effect pairs
c0(branch161): PROVED — pair rows50,54(masking)<alloc::vec::Vec<T> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<T,I>>::from_iter· br_if
inlined: library/core/src/iter/adapters/map.rs:128c1(branch163): PROVED — pair rows53,54(unique-cause)<alloc::vec::Vec<T> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<T,I>>::from_iter· br_if
inlined: library/core/src/iter/adapters/map.rs:128