Decision #515 — lib.rs:7775
Status: partial
Truth table
| row | c0 br 3701 | c1 br 3704 | c2 br 3705 | outcome |
|---|---|---|---|---|
| 1041 | F | T | F | F |
| 1042 | F | T | F | F |
| 1043 | F | T | F | F |
| 1044 | F | T | F | F |
| 1045 | F | T | F | F |
| 8001 | F | T | F | F |
| 8002 | F | T | F | F |
| 8003 | F | T | F | F |
| 8004 | F | T | F | F |
| 8005 | F | T | F | F |
| 14802 | F | T | F | F |
| 14803 | F | T | F | F |
| 14804 | F | T | F | F |
| 14805 | F | T | F | F |
| 14806 | F | T | F | F |
| 21661 | F | T | F | F |
| 24404 | F | T | F | F |
| 27047 | F | T | F | F |
| 30617 | F | T | F | F |
| 51472 | F | T | F | F |
| 72397 | F | T | F | F |
| 82280 | F | T | F | F |
| 91950 | F | T | F | F |
| 91951 | F | T | F | F |
| 99779 | F | T | F | F |
| 99780 | F | T | F | F |
| 108268 | F | T | F | F |
| 108269 | F | T | F | F |
| 116294 | F | T | F | F |
| 116295 | F | T | F | F |
| 124354 | F | T | F | F |
| 141073 | F | T | F | F |
| 158209 | F | T | F | F |
| 158210 | F | T | F | F |
| 158211 | F | T | F | F |
| 158212 | F | T | F | F |
| 158213 | F | T | F | F |
| 158214 | F | T | F | F |
| 168067 | F | T | F | F |
| 168068 | F | T | F | F |
| 168069 | F | T | F | F |
| 168070 | F | T | F | F |
| 168071 | F | T | F | F |
| 168072 | F | T | F | F |
| 176455 | F | T | F | F |
| 176456 | F | T | F | F |
| 176457 | F | T | F | F |
| 181165 | F | T | F | F |
| 184484 | F | T | F | F |
| 187592 | F | T | F | F |
| 191126 | F | T | T | T |
| 196408 | F | T | F | F |
| 196409 | F | T | F | F |
| 196410 | F | T | F | F |
| 203253 | F | T | T | T |
| 207743 | F | T | F | F |
| 207744 | F | T | F | F |
| 224077 | F | T | F | F |
| 301454 | F | T | F | F |
| 377048 | F | T | F | F |
| 379705 | F | T | F | F |
| 382589 | F | T | F | F |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::compute_stack_usage — 3 br_if
c0(branch3701): GAP view gap →c1(branch3704): GAP view gap →c2(branch3705): PROVED — pair rows1041,191126(unique-cause)