Decision #352 — lib.rs:6075
Status: no_witness
Truth table
| row | c0 br 2369 | c1 br 2370 | c2 br 2371 | c3 br 2372 | c4 br 2373 | outcome |
|---|---|---|---|---|---|---|
| 30223 | T | * | * | * | * | T |
| 51078 | T | * | * | * | * | T |
| 223109 | T | * | * | * | * | T |
| 300486 | T | * | * | * | * | T |
Independent-effect pairs
All 5 conditions live in scry_analyze_core::compute_bit_facts — 5 br_if
c0(branch2369): GAP view gap →c1(branch2370): DEAD view gap →c2(branch2371): DEAD view gap →c3(branch2372): DEAD view gap →c4(branch2373): DEAD view gap →