Decision #353 — lib.rs:6105
Status: no_witness
Truth table
| row | c0 br 2375 | c1 br 2376 | outcome |
|---|---|---|---|
| 30224 | T | * | T |
| 51079 | T | * | T |
| 223110 | T | * | T |
| 300487 | T | * | T |
Independent-effect pairs
c0(branch2375): GAP view gap →scry_analyze_core::compute_bit_facts· br_ifc1(branch2376): DEAD view gap →scry_analyze_core::compute_bit_facts· br_if