Decision #11 — lib.rs:97
Status: partial
Truth table
| row | c0 br 75 | c1 br 76 | outcome |
|---|---|---|---|
| 84067 | F | F | F |
| 84068 | F | F | F |
| 85333 | F | F | F |
| 85334 | F | F | F |
| 85335 | F | F | F |
| 85336 | F | F | F |
| 85337 | F | F | F |
| 85338 | F | F | F |
| 87474 | F | F | F |
| 88640 | F | F | F |
| 88641 | F | F | F |
| 88642 | T | * | T |
| 88643 | F | F | F |
| 88644 | T | * | T |
| 88645 | F | F | F |
| 88646 | F | F | F |
| 88647 | F | F | F |
| 88648 | T | * | T |
| 88649 | F | F | F |
| 88650 | T | * | T |
| 88651 | F | F | F |
| 90675 | F | F | F |
| 90676 | F | F | F |
Independent-effect pairs
c0(branch75): PROVED — pair rows84067,88642(masking)<core::iter::adapters::map::Map<I,F> as core::iter::traits::iterator::Iterator>::fold· br_ifc1(branch76): GAP view gap →<core::iter::adapters::map::Map<I,F> as core::iter::traits::iterator::Iterator>::fold· br_if