Extensions to MBM and cutting planes techniques. - #135
Merged
Codecov / codecov/project
succeeded
May 25, 2026 in 0s
99.51% (+0.12%) compared to eca54be
View this Pull Request on Codecov
99.51% (+0.12%) compared to eca54be
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 99.51%. Comparing base (eca54be) to head (34b3ea8).
Additional details and impacted files
@@ Coverage Diff @@
## master #135 +/- ##
==========================================
+ Coverage 99.38% 99.51% +0.12%
==========================================
Files 17 17
Lines 1959 2061 +102
==========================================
+ Hits 1947 2051 +104
+ Misses 12 10 -2 ☔ 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.
Loading