Skip to content

Fix support for models that are unbounded without lazy constraints

930c43e
Select commit
Loading
Failed to load commit list.
Merged

Fix support for models that are unbounded without lazy constraints #8

Fix support for models that are unbounded without lazy constraints
930c43e
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded May 15, 2026 in 0s

100.00% (+0.00%) compared to 3a23fcf

View this Pull Request on Codecov

100.00% (+0.00%) compared to 3a23fcf

Details

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 100.00%. Comparing base (3a23fcf) to head (930c43e).

Additional details and impacted files
@@            Coverage Diff            @@
##              main        #8   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files            2         2           
  Lines          153       167   +14     
=========================================
+ Hits           153       167   +14     

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