Decision #239 — lib.rs:3054
Status: no_witness
Truth table
| row | c0 br 1889 | c1 br 1890 | c2 br 1892 | c3 br 1897 | outcome |
|---|---|---|---|---|---|
| 13560 | T | T | F | F | F |
| 13561 | T | T | F | F | F |
| 13562 | * | * | * | F | F |
| 13563 | * | * | * | F | F |
| 21278 | T | T | F | F | F |
| 21279 | T | T | F | F | F |
| 21280 | * | * | * | F | F |
| 21281 | * | * | * | F | F |
| 29199 | T | T | F | F | F |
| 29200 | T | T | F | F | F |
| 29201 | T | T | F | F | F |
| 29202 | T | T | F | F | F |
| 35137 | T | T | F | F | F |
| 35138 | T | T | F | F | F |
| 35139 | T | T | F | F | F |
| 35140 | T | T | F | F | F |
| 53523 | T | T | F | F | F |
| 53524 | T | T | F | F | F |
| 53525 | * | * | * | F | F |
| 53526 | * | * | * | F | F |
| 63295 | T | T | F | F | F |
| 63296 | T | T | F | F | F |
| 63297 | * | * | * | F | F |
| 63298 | * | * | * | F | F |
| 93353 | T | T | F | F | F |
| 93354 | T | T | F | F | F |
| 93355 | * | * | * | F | F |
| 93356 | T | T | F | F | F |
| 93357 | * | * | * | F | F |
| 93358 | T | T | F | F | F |
| 93359 | * | * | * | F | F |
| 93360 | * | * | * | F | F |
| 112216 | T | T | F | F | F |
| 112217 | T | T | F | F | F |
| 112218 | * | * | * | F | F |
| 112219 | T | T | F | F | F |
| 112220 | * | * | * | F | F |
| 112221 | T | T | F | F | F |
| 112222 | * | * | * | F | F |
| 112223 | * | * | * | F | F |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::Interp::loop_region — 4 br_if
c0(branch1889): GAP view gap →c1(branch1890): GAP view gap →c2(branch1892): GAP view gap →c3(branch1897): GAP view gap →