Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow returning almost feasible solution #69

Merged
merged 1 commit into from Jun 11, 2023
Merged

Allow returning almost feasible solution #69

merged 1 commit into from Jun 11, 2023

Conversation

blegat
Copy link
Member

@blegat blegat commented Jun 9, 2023

Otherwise, we say the status is ALMOST_LOCALLY_SOLVED but we can't get it through JuMP because of the ResultCount

This bug was detected in dionysos-dev/Dionysos.jl#233

@codecov
Copy link

codecov bot commented Jun 9, 2023

Codecov Report

Patch coverage: 100.00% and no project coverage change.

Comparison is base (c0f3d81) 88.10% compared to head (0672eae) 88.10%.

Additional details and impacted files
@@           Coverage Diff           @@
##           master      #69   +/-   ##
=======================================
  Coverage   88.10%   88.10%           
=======================================
  Files           5        5           
  Lines         656      656           
=======================================
  Hits          578      578           
  Misses         78       78           
Impacted Files Coverage Δ
src/MOI_wrapper.jl 86.52% <100.00%> (ø)

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.

@odow
Copy link
Member

odow commented Jun 9, 2023

Ahhhh. This might be the cause of some failures I see in Alpine.

@odow odow merged commit 9b8306c into master Jun 11, 2023
6 checks passed
@odow odow deleted the bl/result_count branch June 11, 2023 00:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants