Decision #266 — library/core/src/str/validations.rs:58
Status: no_witness
Truth table
| row | c0 br 1384 | c1 br 1386 | outcome |
|---|---|---|---|
| 47231 | F | * | F |
| 51359 | F | * | F |
| 55897 | F | * | F |
| 60155 | F | * | F |
| 95784 | * | F | F |
| 114103 | F | * | F |
Independent-effect pairs
c0(branch1384): GAP view gap →scry_analyze_core::tarjan_sccs· br_ifc1(branch1386): GAP view gap →scry_analyze_core::tarjan_sccs· br_if