Decision #753 — lib.rs:4999
Status: no_witness
Truth table
| row | c0 br 4922 | c1 br 4923 | outcome |
|---|---|---|---|
| 31150 | T | F | T |
| 31151 | T | F | T |
| 52004 | T | F | T |
| 52005 | T | F | T |
| 72964 | T | F | T |
| 72965 | T | F | T |
| 82847 | T | F | T |
| 82848 | T | F | T |
| 124914 | T | F | T |
| 124915 | T | F | T |
| 141633 | T | F | T |
| 141634 | T | F | T |
| 224747 | T | F | T |
| 224748 | T | F | T |
| 302124 | T | F | T |
| 302125 | T | F | T |
Independent-effect pairs
c0(branch4922): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_ifc1(branch4923): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_if