Decision #329 — lib.rs:3848
Status: no_witness
Truth table
| row | c0 br 2017 | c1 br 2018 | outcome |
|---|---|---|---|
| 16144 | F | T | T |
| 25624 | F | T | T |
| 35033 | F | T | T |
| 41246 | F | T | T |
| 64593 | F | T | T |
| 76106 | F | T | T |
| 114222 | F | T | T |
Independent-effect pairs
c0(branch2017): GAP view gap →<scry_analyze_core::Interp>::seq· br_ifc1(branch2018): GAP view gap →<scry_analyze_core::Interp>::seq· br_if