Skip to content

Conversation

@odow
Copy link
Member

@odow odow commented Oct 25, 2022

No description provided.

@codecov
Copy link

codecov bot commented Oct 25, 2022

Codecov Report

Base: 55.58% // Head: 55.98% // Increases project coverage by +0.40% 🎉

Coverage data is based on head (17d52e5) compared to base (f64bbee).
Patch coverage: 87.76% of modified lines in pull request are covered.

Additional details and impacted files
@@            Coverage Diff             @@
##           master      #81      +/-   ##
==========================================
+ Coverage   55.58%   55.98%   +0.40%     
==========================================
  Files           9        9              
  Lines         833      827       -6     
==========================================
  Hits          463      463              
+ Misses        370      364       -6     
Impacted Files Coverage Δ
src/MOI_wrapper.jl 87.80% <87.76%> (+1.79%) ⬆️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

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

@odow
Copy link
Member Author

odow commented Oct 25, 2022

I thought going through the code might help me spot any glaring errors. But the failures on mac seem sporadic. Local test failures seem random and are not reproducible.

},
)
MOI.check_result_index_bounds(model, attr)
# TODO(odow): this isn't correct. In Ax = b, it should be Ax, not b.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Does removing this method work now that we have jump-dev/MathOptInterface.jl#1674 ?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, we should be able to do something like that. I avoided making large changes in this PR though.

@odow
Copy link
Member Author

odow commented Oct 25, 2022

Merging because I have a few follow-up PRs that change things other than style.

@odow odow merged commit 99e88ee into master Oct 25, 2022
@odow odow deleted the od/updates branch October 25, 2022 20:40
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.

3 participants