Decision #73 — src/lib.rs:678
Status: no_witness
Truth table
| row | c0 br 537 | c1 br 538 | outcome |
|---|---|---|---|
| 13146 | F | T | T |
| 20864 | F | T | T |
| 92407 | F | T | T |
| 111270 | F | T | T |
Independent-effect pairs
c0(branch537): GAP view gap →scry_analyze_core::compute_bit_facts· br_ifc1(branch538): GAP view gap →scry_analyze_core::compute_bit_facts· br_if