Decision #654 — lib.rs:1827
Status: no_witness
Truth table
| row | c0 br 4500 | c1 br 4501 | c2 br 4502 | c3 br 4503 | c4 br 4504 | outcome |
|---|---|---|---|---|---|---|
| 191323 | F | T | * | F | T | T |
| 191324 | F | F | T | T | * | T |
| 196990 | F | T | * | F | T | T |
| 196991 | F | F | T | T | * | T |
| 203392 | F | T | * | F | T | T |
| 203393 | F | F | T | T | * | T |
| 208334 | F | T | * | F | T | T |
| 208335 | F | T | * | F | T | T |
| 208336 | F | F | T | T | * | T |
| 215933 | F | T | * | F | T | T |
| 215934 | F | F | T | T | * | T |
Independent-effect pairs
All 5 conditions live in scry_analyze_core::analyze — 5 br_if
c0(branch4500): GAP view gap →c1(branch4501): GAP view gap →c2(branch4502): GAP view gap →c3(branch4503): GAP view gap →c4(branch4504): GAP view gap →