Decision #631 — library/core/src/slice/index.rs:245
Status: no_witness
Truth table
| row | c0 br 4195 | c1 br 4197 | outcome |
|---|---|---|---|
| 1467 | F | T | T |
| 1468 | F | T | T |
| 8427 | F | T | T |
| 8428 | F | T | T |
| 15228 | F | T | T |
| 15229 | F | T | T |
Independent-effect pairs
c0(branch4195): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_ifc1(branch4197): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if