Decision #277 — lib.rs:1345
Status: no_witness
Truth table
| row | c0 br 2229 | c1 br 2230 | outcome |
|---|---|---|---|
| 80855 | T | T | T |
| 82042 | T | T | T |
| 83104 | T | T | T |
Independent-effect pairs
c0(branch2229): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch2230): GAP view gap →scry_analyze_core::analyze· br_if