Decision #209 — lib.rs:3271
Status: partial
Truth table
| row | c0 br 1720 | c1 br 1723 | outcome |
|---|---|---|---|
| 84250 | F | T | T |
| 84251 | * | F | F |
| 85803 | F | T | T |
| 85804 | * | F | F |
| 87619 | F | T | T |
| 87620 | * | F | F |
| 89105 | F | T | T |
| 89106 | * | F | F |
| 89107 | F | T | T |
| 89108 | * | F | F |
| 90882 | F | T | T |
| 90883 | * | F | F |
Independent-effect pairs
c0(branch1720): GAP view gap →scry_analyze_core::const_expr_takes_func_ref· br_ifc1(branch1723): PROVED — pair rows84250,84251(masking)scry_analyze_core::const_expr_takes_func_ref· br_if