Decision #337 — lib.rs:5178
Status: no_witness
Truth table
| row | c0 br 2225 | c1 br 2226 | outcome |
|---|---|---|---|
| 47467 | F | F | T |
| 51595 | F | F | T |
| 56133 | F | F | T |
| 60391 | F | F | T |
| 114231 | F | F | T |
Independent-effect pairs
c0(branch2225): GAP view gap →<scry_analyze_core::Interp>::seq· br_ifc1(branch2226): GAP view gap →<scry_analyze_core::Interp>::seq· br_if