Skip to content

dictBuilder: break COVER sort ties by position, not by address - #4765

Merged
kevinjzhang merged 2 commits into
meta:devfrom
jaypatrickhoward:cover-cmp-fix
Nov 10, 2026
Merged

dictBuilder: break COVER sort ties by position, not by address#4765
kevinjzhang merged 2 commits into
meta:devfrom
jaypatrickhoward:cover-cmp-fix

dictBuilder: return 0 when COVER tie-break positions are equal

8dbec80
Select commit
Loading
Failed to load commit list.
Meta CLA / Meta CLA Check succeeded Nov 6, 2026 in 0s

Contributor License Agreement is valid!

View more details on Meta CLA