Decision #601 — library/core/src/str/pattern.rs:1523
Status: no_witness
Truth table
| row | c0 br 4085 | c1 br 4086 | outcome |
|---|---|---|---|
| 92242 | * | F | F |
| 92243 | * | F | F |
| 100071 | * | F | F |
| 100072 | * | F | F |
| 108560 | * | F | F |
| 108561 | * | F | F |
| 116586 | * | F | F |
| 116587 | * | F | F |
| 176666 | * | F | F |
| 196884 | * | F | F |
| 196885 | * | F | F |
| 208230 | * | F | F |
| 215864 | * | F | F |
Independent-effect pairs
c0(branch4085): DEAD view gap →scry_analyze_core::build_static_call_graph· br_ifc1(branch4086): GAP view gap →scry_analyze_core::build_static_call_graph· br_if