Decision #372 — src/lib.rs:777
Status: no_witness
Truth table
| row | c0 br 2268 | c1 br 2269 | outcome |
|---|---|---|---|
| 91504 | * | T | T |
| 99281 | * | T | T |
| 107772 | * | T | T |
| 115848 | * | T | T |
| 157643 | * | F | T |
| 157644 | * | F | T |
| 167501 | * | F | T |
| 167502 | * | F | T |
Independent-effect pairs
c0(branch2268): DEAD view gap →scry_analyze_core::compute_bit_facts· br_ifc1(branch2269): GAP view gap →scry_analyze_core::compute_bit_facts· br_if