Decision #381 — lib.rs:3123
Status: no_witness
Truth table
| row | c0 br 2422 | c1 br 2423 | outcome |
|---|---|---|---|
| 484 | * | T | T |
| 4278 | * | T | T |
| 7961 | * | T | T |
| 11852 | * | T | T |
| 13228 | * | T | T |
| 14553 | * | T | T |
| 16403 | * | T | T |
| 25883 | * | T | T |
| 35513 | * | T | T |
| 41726 | * | T | T |
| 47710 | * | T | T |
| 51838 | * | T | T |
| 56376 | * | T | T |
| 60634 | * | T | T |
| 64999 | * | T | T |
| 76512 | * | T | T |
| 87950 | * | T | T |
| 92218 | * | T | T |
| 95931 | * | T | T |
| 97907 | * | F | T |
| 99425 | * | F | T |
| 100840 | * | F | T |
| 102520 | * | T | T |
| 105532 | * | T | T |
| 108899 | * | T | T |
| 111345 | * | T | T |
| 114381 | * | T | T |
| 118415 | * | T | T |
| 141351 | * | T | T |
| 163149 | * | T | T |
| 164704 | * | T | T |
| 166426 | * | T | T |
Independent-effect pairs
c0(branch2422): DEAD view gap →scry_analyze_core::compute_advisories· br_ifc1(branch2423): GAP view gap →scry_analyze_core::compute_advisories· br_if