Decision #754 — lib.rs:5667
Status: no_witness
Truth table
| row | c0 br 4925 | c1 br 4926 | outcome |
|---|---|---|---|
| 31152 | T | * | T |
| 31153 | T | * | T |
| 52006 | T | * | T |
| 52007 | T | * | T |
| 72966 | T | * | T |
| 72967 | T | * | T |
| 82849 | T | * | T |
| 82850 | T | * | T |
| 124916 | T | * | T |
| 124917 | T | * | T |
| 141635 | T | * | T |
| 141636 | T | * | T |
| 224749 | T | * | T |
| 224750 | T | * | T |
| 302126 | T | * | T |
| 302127 | T | * | T |
Independent-effect pairs
c0(branch4925): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_ifc1(branch4926): DEAD view gap →<scry_analyze_core::Interp>::loop_region· br_if