Skip to content

fix: make compare_lines a valid total order (#105)#106

Merged
dduugg merged 2 commits into
mainfrom
fix/compare-lines-total-order
May 18, 2026
Merged

fix: make compare_lines a valid total order (#105)#106
dduugg merged 2 commits into
mainfrom
fix/compare-lines-total-order

test: prove transitivity and cover edge branches in compare_lines

c679de6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar