Repository navigation

test(e2e-coverage): assert splitRangeAtBoundaries' never-empty postcondition - #1303

Merged

mrbobbytables merged 2 commits into

mainfrom

quality/test-split-range-invariant

Oct 11, 2026

Merged

test(e2e-coverage): assert splitRangeAtBoundaries' never-empty postcondition#1303
mrbobbytables merged 2 commits into
mainfrom
quality/test-split-range-invariant

Commits on Oct 11, 2026
- test(e2e-coverage): assert splitRangeAtBoundaries' never-empty postcondition
  
  quality
  and
  Copilot
  committed
  0c2e1bc
- docs(e2e-coverage): point the splitRangeAtBoundaries note at the residual list
  
  mrbobbytables
  and
  Copilot
  committed
  1ce22d0