Decision #421 — lib.rs:2800
Status: no_witness
Truth table
| row | c0 br 2863 | c1 br 2864 | c2 br 2874 | c3 br 2875 | outcome |
|---|---|---|---|---|---|
| 508 | F | F | * | * | T |
| 509 | * | F | * | * | T |
| 510 | * | F | * | * | T |
| 511 | * | F | * | * | T |
| 512 | * | T | * | * | T |
| 4302 | F | F | * | * | T |
| 4303 | * | F | * | * | T |
| 4304 | * | F | * | * | T |
| 4305 | * | F | * | * | T |
| 4306 | * | T | * | * | T |
| 8032 | F | F | * | * | T |
| 8033 | * | F | * | * | T |
| 8034 | * | F | * | * | T |
| 8035 | * | F | * | * | T |
| 8036 | * | T | * | * | T |
| 11861 | F | F | * | * | T |
| 13237 | F | F | * | * | T |
| 14562 | F | F | * | * | T |
| 16412 | F | T | T | F | T |
| 25892 | F | T | T | F | T |
| 35522 | F | F | F | F | T |
| 41735 | F | F | F | F | T |
| 47733 | F | T | * | * | T |
| 47734 | * | F | * | * | T |
| 47735 | * | T | * | * | T |
| 51902 | F | T | * | * | T |
| 51903 | * | F | * | * | T |
| 51904 | * | T | * | * | T |
| 56440 | F | T | * | * | T |
| 56441 | * | F | * | * | T |
| 56442 | * | T | * | * | T |
| 60657 | F | T | * | * | T |
| 60658 | * | F | * | * | T |
| 60659 | * | T | * | * | T |
| 65008 | F | T | T | F | T |
| 76521 | F | T | T | F | T |
| 87999 | F | F | * | * | T |
| 88000 | * | F | * | * | T |
| 88001 | * | F | * | * | T |
| 88002 | * | F | * | * | T |
| 88003 | * | F | * | * | T |
| 88004 | * | F | * | * | T |
| 92267 | F | F | * | * | T |
| 92268 | * | F | * | * | T |
| 92269 | * | F | * | * | T |
| 92270 | * | F | * | * | T |
| 92271 | * | F | * | * | T |
| 92272 | * | F | * | * | T |
| 95961 | F | F | * | * | T |
| 95962 | * | F | * | * | T |
| 95963 | * | F | * | * | T |
| 97926 | F | F | * | * | T |
| 99443 | F | F | * | * | T |
| 100859 | F | F | * | * | T |
| 102529 | F | T | * | * | T |
| 105550 | F | F | * | * | T |
| 105551 | * | F | * | * | T |
| 105552 | * | F | * | * | T |
| 108908 | F | T | * | * | T |
| 111370 | F | F | * | * | T |
| 111371 | * | F | * | * | T |
| 114396 | F | T | * | * | T |
| 118464 | F | F | F | T | T |
| 118465 | * | * | T | F | T |
| 141400 | F | F | F | T | T |
| 141401 | * | * | T | F | T |
| 163158 | F | T | * | * | T |
| 164729 | F | T | * | * | T |
| 166451 | F | T | * | * | T |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::compute_float_facts — 4 br_if
c0(branch2863): GAP view gap →c1(branch2864): GAP view gap →c2(branch2874): GAP view gap →c3(branch2875): GAP view gap →