Skip to content

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

Merged
odow merged 1 commit into
mainfrom
od/unbounded
May 15, 2026
Merged

Fix support for models that are unbounded without lazy constraints#8
odow merged 1 commit into
mainfrom
od/unbounded

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.