Skip to content

Added test for case with negative coefficients

a5884ae
Select commit
Loading
Failed to load commit list.
Merged

Added fix in the ImpliesThisIsAlsoSatisfied method #26

Added test for case with negative coefficients
a5884ae
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Oct 8, 2025 in 0s

87.46% (+0.00%) compared to 8f261a9

View this Pull Request on Codecov

87.46% (+0.00%) compared to 8f261a9

Details

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 87.46%. Comparing base (8f261a9) to head (a5884ae).

Additional details and impacted files
@@           Coverage Diff           @@
##             main      #26   +/-   ##
=======================================
  Coverage   87.46%   87.46%           
=======================================
  Files          42       42           
  Lines        6431     6432    +1     
=======================================
+ Hits         5625     5626    +1     
  Misses        719      719           
  Partials       87       87           

☔ View full report in Codecov by Sentry.
📢 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.