Decision #751 — lib.rs:5944
Status: no_witness
Truth table
| row | c0 br 4908 | c1 br 4909 | outcome |
|---|---|---|---|
| 31146 | T | * | T |
| 31147 | T | * | T |
| 52000 | T | * | T |
| 52001 | T | * | T |
| 72960 | T | * | T |
| 72961 | T | * | T |
| 82843 | T | * | T |
| 82844 | T | * | T |
| 124910 | T | * | T |
| 124911 | T | * | T |
| 141629 | T | * | T |
| 141630 | T | * | T |
| 224741 | F | F | T |
| 224742 | T | * | T |
| 224743 | F | F | T |
| 224744 | T | * | T |
| 302118 | F | F | T |
| 302119 | T | * | T |
| 302120 | F | F | T |
| 302121 | T | * | T |
Independent-effect pairs
c0(branch4908): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_ifc1(branch4909): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_if