Decision #103 — lib.rs:3771
Status: no_witness
Truth table
| row | c0 br 892 | c1 br 893 | outcome |
|---|---|---|---|
| 40409 | F | T | T |
| 43377 | F | T | T |
| 46830 | F | T | T |
| 49949 | F | T | T |
Independent-effect pairs
c0(branch892): GAP view gap →scry_analyze_core::Interp::seq· br_ifc1(branch893): GAP view gap →scry_analyze_core::Interp::seq· br_if