Decision #65 — src/lib.rs:480
Status: no_witness
Truth table
| row | c0 br 431 | c1 br 432 | outcome |
|---|---|---|---|
| 9482 | * | F | T |
| 10630 | * | F | T |
| 11721 | * | F | T |
| 40293 | * | T | T |
| 43261 | * | T | T |
| 46714 | * | T | T |
| 49833 | * | T | T |
| 72391 | * | F | T |
| 72392 | * | F | T |
| 75866 | * | F | T |
| 75867 | * | F | T |
| 80709 | * | F | T |
| 81896 | * | F | T |
| 82958 | * | F | T |
| 129950 | * | T | T |
| 131109 | * | T | T |
| 132436 | * | T | T |
Independent-effect pairs
c0(branch431): DEAD view gap →scry_analyze_core::compute_bit_facts· br_ifc1(branch432): GAP view gap →scry_analyze_core::compute_bit_facts· br_if