Decision #351 — lib.rs:1421
Status: no_witness
Truth table
| row | c0 br 2362 | c1 br 2363 | c2 br 2364 | c3 br 2365 | c4 br 2366 | c5 br 2367 | outcome |
|---|---|---|---|---|---|---|---|
| 30222 | F | F | F | F | T | * | T |
| 51077 | F | F | F | F | T | * | T |
| 223108 | F | F | F | F | T | * | T |
| 300485 | F | F | F | F | T | * | T |
Independent-effect pairs
All 6 conditions live in scry_analyze_core::compute_bit_facts — 6 br_if
c0(branch2362): GAP view gap →c1(branch2363): GAP view gap →c2(branch2364): GAP view gap →c3(branch2365): GAP view gap →c4(branch2366): GAP view gap →c5(branch2367): DEAD view gap →