Decision #608 — lib.rs:4179
Status: no_witness
Truth table
| row | c0 br 4011 | c1 br 4012 | c2 br 4015 | c3 br 4016 | c4 br 4021 | outcome |
|---|---|---|---|---|---|---|
| 16741 | F | F | * | * | F | T |
| 16742 | F | F | * | * | F | T |
| 26221 | F | F | * | * | F | T |
| 26222 | F | F | * | * | F | T |
| 35887 | F | F | * | * | F | T |
| 35888 | F | F | * | * | F | T |
| 42100 | F | F | * | * | F | T |
| 42101 | F | F | * | * | F | T |
| 65355 | F | F | * | * | F | T |
| 65356 | F | F | * | * | F | T |
| 76868 | F | F | * | * | F | T |
| 76869 | F | F | * | * | F | T |
| 118925 | F | F | * | * | F | T |
| 118926 | F | F | * | * | F | T |
| 141861 | F | F | * | * | F | T |
| 141862 | F | F | * | * | F | T |
Independent-effect pairs
All 5 conditions live in <scry_analyze_core::Interp>::loop_region — 5 br_if
c0(branch4011): GAP view gap →c1(branch4012): GAP view gap →c2(branch4015): DEAD view gap →c3(branch4016): DEAD view gap →c4(branch4021): GAP view gap →