Decision #15 — library/core/src/iter/sources/from_fn.rs:70
Status: no_witness
Truth table
| row | c0 br 93 | c1 br 107 | outcome |
|---|---|---|---|
| 28171 | F | F | T |
| 28172 | F | F | T |
| 28173 | F | F | T |
| 28174 | F | F | T |
| 34109 | F | F | T |
| 34110 | F | F | T |
| 34111 | F | F | T |
| 34112 | F | F | T |
| 92144 | F | T | T |
| 92145 | F | F | T |
| 92146 | F | T | T |
| 92147 | F | F | T |
| 92148 | F | T | T |
| 92149 | F | F | T |
| 92150 | F | T | T |
| 92151 | F | F | T |
| 92152 | F | T | T |
| 92153 | F | F | T |
| 92154 | F | T | T |
| 92155 | F | F | T |
| 111007 | F | T | T |
| 111008 | F | F | T |
| 111009 | F | T | T |
| 111010 | F | F | T |
| 111011 | F | T | T |
| 111012 | F | F | T |
| 111013 | F | T | T |
| 111014 | F | F | T |
| 111015 | F | T | T |
| 111016 | F | F | T |
| 111017 | F | T | T |
| 111018 | F | F | T |
Independent-effect pairs
c0(branch93): GAP view gap →<core::iter::adapters::map::Map<I,F> as core::iter::traits::iterator::Iterator>::fold· br_ifc1(branch107): GAP view gap →<core::iter::adapters::map::Map<I,F> as core::iter::traits::iterator::Iterator>::fold· br_if