Decision #511 — lib.rs:1059
Status: partial
Truth table
| row | c0 br 3687 | c1 br 3688 | outcome |
|---|---|---|---|
| 1023 | F | F | F |
| 1024 | F | F | F |
| 1025 | F | F | F |
| 1026 | F | F | F |
| 1027 | F | F | F |
| 7983 | F | F | F |
| 7984 | F | F | F |
| 7985 | F | F | F |
| 7986 | F | F | F |
| 7987 | F | F | F |
| 14784 | F | F | F |
| 14785 | F | F | F |
| 14786 | F | F | F |
| 14787 | F | F | F |
| 14788 | F | F | F |
| 21659 | F | F | F |
| 24402 | F | F | F |
| 27045 | F | F | F |
| 30615 | F | F | F |
| 51470 | F | F | F |
| 72395 | F | F | F |
| 82278 | F | F | F |
| 91943 | F | F | F |
| 91944 | F | F | F |
| 91945 | T | * | T |
| 99772 | F | F | F |
| 99773 | F | F | F |
| 99774 | T | * | T |
| 108261 | F | F | F |
| 108262 | F | F | F |
| 108263 | T | * | T |
| 116287 | F | F | F |
| 116288 | F | F | F |
| 116289 | T | * | T |
| 124352 | F | F | F |
| 141071 | F | F | F |
| 158197 | F | F | F |
| 158198 | F | F | F |
| 158199 | F | F | F |
| 158200 | F | F | F |
| 158201 | F | F | F |
| 158202 | F | F | F |
| 168055 | F | F | F |
| 168056 | F | F | F |
| 168057 | F | F | F |
| 168058 | F | F | F |
| 168059 | F | F | F |
| 168060 | F | F | F |
| 176447 | F | F | F |
| 176448 | F | F | F |
| 176449 | F | F | F |
| 181163 | F | F | F |
| 184482 | F | F | F |
| 187590 | F | F | F |
| 191124 | F | F | F |
| 196398 | F | F | F |
| 196399 | F | F | F |
| 196400 | F | F | F |
| 203251 | F | F | F |
| 207737 | F | F | F |
| 207738 | F | F | F |
| 215606 | T | * | T |
| 224075 | F | F | F |
| 301452 | F | F | F |
| 377046 | F | F | F |
| 379703 | F | F | F |
| 382587 | F | F | F |
Independent-effect pairs
c0(branch3687): PROVED — pair rows1023,91945(masking)scry_analyze_core::compute_stack_usage· br_ifc1(branch3688): GAP view gap →scry_analyze_core::compute_stack_usage· br_if