Decision #510 — lib.rs:1302
Status: no_witness
Truth table
| row | c0 br 3435 | c1 br 3436 | outcome |
|---|---|---|---|
| 47866 | * | F | F |
| 52035 | * | F | F |
| 56573 | * | F | F |
| 60790 | * | F | F |
| 114490 | * | F | F |
Independent-effect pairs
c0(branch3435): DEAD view gap →scry_analyze_core::recursive_flags_from_sccs· br_ifc1(branch3436): GAP view gap →scry_analyze_core::recursive_flags_from_sccs· br_if