Decision #218 — lib.rs:97
Status: partial
Truth table
| row | c0 br 1788 | c1 br 1790 | outcome |
|---|---|---|---|
| 659 | F | T | T |
| 660 | * | T | T |
| 661 | * | T | T |
| 662 | * | F | F |
| 663 | * | F | F |
| 3699 | F | T | T |
| 3700 | * | T | T |
| 3701 | * | T | T |
| 3702 | * | F | F |
| 3703 | * | F | F |
| 6644 | F | T | T |
| 6645 | * | T | T |
| 6646 | * | T | T |
| 6647 | * | F | F |
| 6648 | * | F | F |
| 9615 | F | T | T |
| 10763 | F | T | T |
| 11854 | F | T | T |
| 13518 | F | T | T |
| 21236 | F | T | T |
| 29131 | F | T | T |
| 35069 | F | T | T |
| 40723 | F | F | F |
| 40724 | * | F | F |
| 40725 | * | T | T |
| 43734 | F | F | F |
| 43735 | * | F | F |
| 43736 | * | T | T |
| 47187 | F | F | F |
| 47188 | * | F | F |
| 47189 | * | T | T |
| 50263 | F | F | F |
| 50264 | * | F | F |
| 50265 | * | T | T |
| 53473 | F | T | T |
| 63245 | F | T | T |
| 72936 | F | T | T |
| 72937 | * | T | T |
| 72938 | * | T | T |
| 72939 | * | T | T |
| 72940 | * | T | T |
| 72941 | * | T | T |
| 76411 | F | T | T |
| 76412 | * | T | T |
| 76413 | * | T | T |
| 76414 | * | T | T |
| 76415 | * | T | T |
| 76416 | * | T | T |
| 79309 | F | F | F |
| 79310 | * | T | T |
| 80828 | F | T | T |
| 82015 | F | T | T |
| 83077 | F | T | T |
| 84270 | F | T | T |
| 85849 | F | F | F |
| 85850 | * | F | F |
| 85851 | * | T | T |
| 87635 | F | T | T |
| 89160 | F | F | F |
| 89161 | * | T | T |
| 90913 | F | F | F |
| 93255 | F | T | T |
| 112118 | F | T | T |
| 130048 | F | T | T |
| 131223 | F | T | T |
| 132550 | F | T | T |
Independent-effect pairs
c0(branch1788): GAP view gap →scry_analyze_core::compute_reachable_from_exports· br_ifc1(branch1790): PROVED — pair rows659,40723(unique-cause)scry_analyze_core::compute_reachable_from_exports· br_if