Decision #24 — src/hex.rs:42
Status: no_witness
Truth table
| row | c0 br 170 | c1 br 174 | c2 br 175 | outcome |
|---|---|---|---|---|
| 12849 | F | * | F | T |
| 12850 | F | * | F | T |
| 12851 | F | * | F | T |
| 12852 | F | * | F | T |
| 20567 | F | * | F | T |
| 20568 | F | * | F | T |
| 20569 | F | * | F | T |
| 20570 | F | * | F | T |
| 28236 | F | * | F | T |
| 28237 | F | * | F | T |
| 28238 | F | * | F | T |
| 28239 | F | * | F | T |
| 34174 | F | * | F | T |
| 34175 | F | * | F | T |
| 34176 | F | * | F | T |
| 34177 | F | * | F | T |
| 52612 | F | * | F | T |
| 52613 | F | * | F | T |
| 52614 | F | * | F | T |
| 52615 | F | * | F | T |
| 62384 | F | * | F | T |
| 62385 | F | * | F | T |
| 62386 | F | * | F | T |
| 62387 | F | * | F | T |
| 92207 | F | * | F | T |
| 92208 | F | * | F | T |
| 92209 | F | * | F | T |
| 92210 | F | * | F | T |
| 92211 | F | * | F | T |
| 92212 | F | * | F | T |
| 92213 | F | * | F | T |
| 92214 | F | * | F | T |
| 111070 | F | * | F | T |
| 111071 | F | * | F | T |
| 111072 | F | * | F | T |
| 111073 | F | * | F | T |
| 111074 | F | * | F | T |
| 111075 | F | * | F | T |
| 111076 | F | * | F | T |
| 111077 | F | * | F | T |
Independent-effect pairs
All 3 conditions live in alloc::vec::Vec<T,A>::extend_trusted — 3 br_if
c0(branch170): GAP view gap →c1(branch174): DEAD view gap →c2(branch175): GAP view gap →