Repository navigation

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

Merged

kevinjzhang merged 2 commits into

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

Commits on Sep 6, 2026
- dictBuilder: break COVER sort ties by position, not by address
  jaypatrickhoward
  committed
  7c69952
Commits on Nov 6, 2026
- dictBuilder: return 0 when COVER tie-break positions are equal
  jaypatrickhoward
  committed
  8dbec80