Decision #199 — lib.rs:4216
Status: no_witness
Truth table
| row | c0 br 1683 | c1 br 1684 | outcome |
|---|---|---|---|
| 593 | T | F | F |
| 594 | T | F | F |
| 3633 | T | F | F |
| 3634 | T | F | F |
| 6578 | T | F | F |
| 6579 | T | F | F |
Independent-effect pairs
c0(branch1683): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_ifc1(branch1684): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if