Decision #750 — lib.rs:5951
Status: partial
Truth table
| row | c0 br 4900 | c1 br 4904 | c2 br 4905 | c3 br 4906 | c4 br 4907 | outcome |
|---|---|---|---|---|---|---|
| 31142 | * | F | T | * | * | T |
| 31143 | * | F | F | F | F | F |
| 31144 | * | F | T | * | * | T |
| 31145 | * | F | F | F | F | F |
| 51996 | * | F | T | * | * | T |
| 51997 | * | F | F | F | F | F |
| 51998 | * | F | T | * | * | T |
| 51999 | * | F | F | F | F | F |
| 72958 | * | F | F | F | F | F |
| 72959 | * | F | F | F | F | F |
| 82841 | * | F | F | F | F | F |
| 82842 | * | F | F | F | F | F |
| 124906 | * | F | T | * | * | T |
| 124907 | * | F | F | F | F | F |
| 124908 | * | F | T | * | * | T |
| 124909 | * | F | F | F | F | F |
| 141625 | * | F | T | * | * | T |
| 141626 | * | F | F | F | F | F |
| 141627 | * | F | T | * | * | T |
| 141628 | * | F | F | F | F | F |
| 224733 | * | F | T | * | * | T |
| 224734 | * | F | F | F | F | F |
| 224735 | * | F | T | * | * | T |
| 224736 | * | F | F | F | F | F |
| 224737 | * | F | T | * | * | T |
| 224738 | * | F | F | F | F | F |
| 224739 | * | F | T | * | * | T |
| 224740 | * | F | F | F | F | F |
| 302110 | * | F | T | * | * | T |
| 302111 | * | F | F | F | F | F |
| 302112 | * | F | T | * | * | T |
| 302113 | * | F | F | F | F | F |
| 302114 | * | F | T | * | * | T |
| 302115 | * | F | F | F | F | F |
| 302116 | * | F | T | * | * | T |
| 302117 | * | F | F | F | F | F |
Independent-effect pairs
All 5 conditions live in <scry_analyze_core::Interp>::loop_region — 5 br_if
c0(branch4900): DEAD view gap →c1(branch4904): GAP view gap →c2(branch4905): PROVED — pair rows31142,31143(masking)c3(branch4906): GAP view gap →c4(branch4907): GAP view gap →