Decision #384 — lib.rs:1176
Status: no_witness
Truth table
| row | c0 br 2463 | c1 br 2464 | outcome |
|---|---|---|---|
| 486 | T | * | T |
| 4280 | T | * | T |
| 7963 | T | * | T |
| 11854 | T | * | T |
| 13230 | T | * | T |
| 14555 | T | * | T |
| 16405 | T | * | T |
| 25885 | T | * | T |
| 35515 | T | * | T |
| 41728 | T | * | T |
| 47713 | T | * | T |
| 51841 | T | * | T |
| 56379 | T | * | T |
| 60637 | T | * | T |
| 65001 | T | * | T |
| 76514 | T | * | T |
| 87952 | T | * | T |
| 92220 | T | * | T |
| 95934 | F | T | T |
| 97909 | T | * | T |
| 99427 | T | * | T |
| 100842 | T | * | T |
| 102522 | T | * | T |
| 105534 | T | * | T |
| 108901 | T | * | T |
| 111348 | F | T | T |
| 114384 | F | T | T |
| 118417 | T | * | T |
| 141353 | T | * | T |
| 163151 | T | * | T |
| 164706 | T | * | T |
| 166428 | T | * | T |
Independent-effect pairs
c0(branch2463): GAP view gap →scry_analyze_core::compute_advisories· br_ifc1(branch2464): GAP view gap →scry_analyze_core::compute_advisories· br_if