Decision #667 — lib.rs:2728
Status: partial
Truth table
| row | c0 br 4642 | c1 br 4645 | c2 br 4647 | c3 br 4648 | outcome |
|---|---|---|---|---|---|
| 30933 | T | * | * | * | T |
| 51788 | T | * | * | * | T |
| 92384 | F | F | F | T | T |
| 92385 | T | F | * | * | F |
| 100213 | F | F | F | T | T |
| 100214 | T | F | * | * | F |
| 108702 | F | F | F | T | T |
| 108703 | T | F | * | * | F |
| 116728 | F | F | F | T | T |
| 116729 | T | F | * | * | F |
| 124673 | T | * | * | * | T |
| 141392 | T | * | * | * | T |
| 191366 | T | * | * | * | T |
| 203427 | T | * | * | * | T |
| 215996 | T | * | * | * | T |
| 377184 | T | * | * | * | T |
| 379841 | T | * | * | * | T |
| 382725 | T | * | * | * | T |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::analyze — 4 br_if
c0(branch4642): PROVED — pair rows92384,92385(masking)c1(branch4645): GAP view gap →c2(branch4647): GAP view gap →c3(branch4648): GAP view gap →