Skip to content

Added test for corner case of non-negativity (power of 2 for single v…

e3c0252
Select commit
Loading
Failed to load commit list.
Merged

Introducing Ability to Detect Non-Negativity Constraints + Some Helper Methods for Breaking Down Large Constraints Into Smaller Ones #20

Added test for corner case of non-negativity (power of 2 for single v…
e3c0252
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Aug 29, 2025 in 1s

87.44% (+0.01%) compared to d38793d

View this Pull Request on Codecov

87.44% (+0.01%) compared to d38793d

Details

Codecov Report

❌ Patch coverage is 85.18519% with 12 lines in your changes missing coverage. Please review.
✅ Project coverage is 87.44%. Comparing base (d38793d) to head (e3c0252).

Files with missing lines Patch % Lines
symbolic/constraint.go 75.00% 7 Missing ⚠️
symbolic/scalar_constraint.go 91.42% 2 Missing and 1 partial ⚠️
symbolic/monomial.go 50.00% 2 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main      #20      +/-   ##
==========================================
+ Coverage   87.42%   87.44%   +0.01%     
==========================================
  Files          42       42              
  Lines        6251     6332      +81     
==========================================
+ Hits         5465     5537      +72     
- Misses        711      719       +8     
- Partials       75       76       +1     

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