Skip to content

Handle small contributions in HPresolve::strengthenInequalities - #3468

Open
fwesselm wants to merge 2 commits into
ERGO-Code:latestfrom
fwesselm:fix-3461
Open

fwesselm wants to merge 2 commits into
ERGO-Code:latestfrom
fwesselm:fix-3461

Conversation

@fwesselm

@fwesselm fwesselm commented Oct 26, 2026 •

Copy link
Copy Markdown
Collaborator

Description

Fix #3461:

  1. Handle small contributions in HPresolve::strengthenInequalities.
  2. Added a test.

Checklist

  • I have read the contributing guidelines
  • This PR targets the latest branch
  • Tests are passing
  • Documentation was updated where relevant
  • This PR is not primarily AI-generated (per the AI contributions policy in CONTRIBUTING.md)

@codecov

codecov Bot commented Oct 26, 2026

Copy link
Copy Markdown

Codecov Report

❌ Patch coverage is 97.29730% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 75.14%. Comparing base (b3e7094) to head (010d2a0).
⚠️ Report is 76 commits behind head on latest.

Files with missing lines Patch % Lines
highs/presolve/HPresolveStrengthenIneq.cpp 96.15% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           latest    #3468      +/-   ##
==========================================
- Coverage   75.14%   75.14%   -0.01%     
==========================================
  Files         460      460              
  Lines      112233   112256      +23     
  Branches    17792    17793       +1     
==========================================
+ Hits        84341    84355      +14     
- Misses      27610    27619       +9     
  Partials      282      282              

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

@fwesselm
fwesselm requested a review from Opt-Mucca October 26, 2026 10:28

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant