Skip to content

Close some solver discrepancies - #24

Merged
timholy merged 2 commits into
mainfrom
teh/solver-discrepancies
Jul 16, 2026
Merged

Close some solver discrepancies#24
timholy merged 2 commits into
mainfrom
teh/solver-discrepancies

Add the asymmetric AbsLog{1} soft cover

6461137
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Jul 16, 2026 in 1s

98.51% (+0.31%) compared to e2164dd

View this Pull Request on Codecov

98.51% (+0.31%) compared to e2164dd

Details

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 98.51%. Comparing base (e2164dd) to head (6461137).

Additional details and impacted files
@@            Coverage Diff             @@
##             main      #24      +/-   ##
==========================================
+ Coverage   98.20%   98.51%   +0.31%     
==========================================
  Files          12       12              
  Lines        2001     2027      +26     
==========================================
+ Hits         1965     1997      +32     
+ Misses         36       30       -6     

☔ 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.