Decision #650 — lib.rs:7869
Status: partial
Truth table
| row | c0 br 4407 | c1 br 4408 | c2 br 4409 | c3 br 4410 | c4 br 4411 | c5 br 4412 | c6 br 4417 | outcome |
|---|---|---|---|---|---|---|---|---|
| 92321 | F | T | * | F | T | * | * | T |
| 92322 | T | * | * | T | * | * | * | T |
| 100150 | F | T | * | F | T | * | * | T |
| 100151 | T | * | * | T | * | * | * | T |
| 108639 | F | T | * | F | T | * | * | T |
| 108640 | T | * | * | T | * | * | * | T |
| 116665 | F | T | * | F | T | * | * | T |
| 116666 | T | * | * | T | * | * | * | T |
| 176715 | F | T | * | F | T | * | * | T |
| 176716 | T | * | * | T | * | * | * | T |
| 191321 | F | T | * | F | T | * | * | T |
| 191322 | T | * | * | T | * | * | * | T |
| 196988 | F | T | * | F | T | * | * | T |
| 196989 | T | * | * | T | * | * | * | T |
| 203390 | F | T | * | F | T | * | * | T |
| 203391 | T | * | * | T | * | * | * | T |
| 208331 | F | T | * | F | T | * | * | T |
| 208332 | F | T | * | F | F | F | * | F |
| 208333 | T | * | * | T | * | * | * | T |
| 215931 | F | T | * | F | T | * | * | T |
| 215932 | T | * | * | T | * | * | * | T |
Independent-effect pairs
All 7 conditions live in scry_analyze_core::analyze — 7 br_if
c0(branch4407): GAP view gap →c1(branch4408): GAP view gap →c2(branch4409): DEAD view gap →c3(branch4410): GAP view gap →c4(branch4411): PROVED — pair rows92321,208332(masking)c5(branch4412): GAP view gap →c6(branch4417): DEAD view gap →