Decision #536 — lib.rs:1809
Status: no_witness
Truth table
| row | c0 br 3735 | c1 br 3745 | outcome |
|---|---|---|---|
| 97980 | T | F | F |
| 99497 | T | F | F |
| 100913 | T | F | F |
Independent-effect pairs
c0(branch3735): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch3745): GAP view gap →scry_analyze_core::analyze· br_if