Decision #896 — lib.rs:126
Status: no_witness
Truth table
| row | c0 br 5923 | c1 br 5924 | outcome |
|---|---|---|---|
| 181531 | T | * | T |
| 181532 | T | * | T |
| 184849 | T | * | T |
| 184850 | T | * | T |
| 187958 | T | * | T |
| 187959 | T | * | T |
Independent-effect pairs
c0(branch5923): GAP view gap →<scry_segment::Segmentation>::load· br_ifc1(branch5924): DEAD view gap →<scry_segment::Segmentation>::load· br_if