Decision #786 — lib.rs:567
Status: no_witness
Truth table
| row | c0 br 5238 | c1 br 5241 | outcome |
|---|---|---|---|
| 38180 | * | F | F |
| 38181 | * | F | F |
| 38182 | * | F | F |
| 38183 | * | F | F |
| 44393 | * | F | F |
| 44394 | * | F | F |
| 44395 | * | F | F |
| 44396 | * | F | F |
| 135153 | * | F | F |
| 135154 | * | F | F |
| 135155 | * | F | F |
| 135156 | * | F | F |
| 135157 | * | F | F |
| 135158 | * | F | F |
| 135159 | * | F | F |
| 135160 | * | F | F |
| 158089 | * | F | F |
| 158090 | * | F | F |
| 158091 | * | F | F |
| 158092 | * | F | F |
| 158093 | * | F | F |
| 158094 | * | F | F |
| 158095 | * | F | F |
| 158096 | * | F | F |
Independent-effect pairs
c0(branch5238): DEAD view gap →scry_octagon::widen· br_ifc1(branch5241): GAP view gap →scry_octagon::widen· br_if