Decision #303 — src/lib.rs:750
Status: no_witness
Truth table
| row | c0 br 1720 | c1 br 1730 | outcome |
|---|---|---|---|
| 47330 | T | T | T |
| 51458 | T | T | T |
| 55996 | T | T | T |
| 60254 | T | T | T |
| 87490 | T | * | T |
| 87491 | T | * | T |
| 91758 | T | * | T |
| 91759 | T | * | T |
Independent-effect pairs
c0(branch1720): GAP view gap →scry_analyze_core::compute_bit_facts· br_ifc1(branch1730): GAP view gap →scry_analyze_core::compute_bit_facts· br_if