Decision #342 — lib.rs:5315
Status: no_witness
Truth table
| row | c0 br 2273 | c1 br 2274 | outcome |
|---|---|---|---|
| 111071 | F | F | F |
| 111072 | F | F | F |
| 111073 | F | F | F |
| 111074 | F | F | F |
Independent-effect pairs
c0(branch2273): GAP view gap →<scry_analyze_core::Interp>::seq· br_ifc1(branch2274): GAP view gap →<scry_analyze_core::Interp>::seq· br_if