Decision #336 — lib.rs:5164
Status: no_witness
Truth table
| row | c0 br 2218 | c1 br 2219 | outcome |
|---|---|---|---|
| 47465 | F | T | T |
| 47466 | F | T | T |
| 51593 | F | T | T |
| 51594 | F | T | T |
| 56131 | F | T | T |
| 56132 | F | T | T |
| 60389 | F | T | T |
| 60390 | F | T | T |
Independent-effect pairs
c0(branch2218): GAP view gap →<scry_analyze_core::Interp>::seq· br_ifc1(branch2219): GAP view gap →<scry_analyze_core::Interp>::seq· br_if