Skip to content

Cover solvers: a start menu, in-place refiners, and a coherent public API - #22

Merged
timholy merged 22 commits into
mainfrom
teh/refactor
Jul 15, 2026
Merged

Cover solvers: a start menu, in-place refiners, and a coherent public API#22
timholy merged 22 commits into
mainfrom
teh/refactor

Pin the row/column gauge in every asymmetric cover

ce89fe0
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Jul 14, 2026 in 0s

97.33% (+0.37%) compared to 06eabc1

View this Pull Request on Codecov

97.33% (+0.37%) compared to 06eabc1

Details

Codecov Report

❌ Patch coverage is 97.48837% with 27 lines in your changes missing coverage. Please review.
✅ Project coverage is 97.33%. Comparing base (06eabc1) to head (ce89fe0).

Files with missing lines Patch % Lines
ext/SIASparseArrays.jl 74.41% 11 Missing ⚠️
src/heuristic_covers.jl 96.69% 8 Missing ⚠️
ext/SIAJuMP.jl 95.71% 6 Missing ⚠️
src/soft_covers.jl 98.60% 2 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main      #22      +/-   ##
==========================================
+ Coverage   96.96%   97.33%   +0.37%     
==========================================
  Files           9       10       +1     
  Lines        1613     1837     +224     
==========================================
+ Hits         1564     1788     +224     
  Misses         49       49              

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.