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

Add test for bug in ticket #82 #20

Closed
wants to merge 1 commit into from
Closed

Add test for bug in ticket #82 #20

wants to merge 1 commit into from

Conversation

blegat
Copy link
Member

@blegat blegat commented Jun 1, 2017

We should wait that this ticket is fixed before this PR can be merged.

@blegat blegat changed the title Add test for bug in ticket #79 Add test for bug in ticket #82 Jun 1, 2017
@mlubin
Copy link
Member

mlubin commented Jun 1, 2017

You'll have better luck reporting the issue on the clp mailing list.

@blegat
Copy link
Member Author

blegat commented Nov 12, 2018

Looks like it is fixed on Clp master coin-or/Clp#49 (comment)

@mlubin
Copy link
Member

mlubin commented Nov 1, 2019

@blegat Care to update this PR for MOI or close it? Do we have binaries that include the fix?

@odow
Copy link
Member

odow commented Apr 18, 2020

@blegat. You are my worst nightmare. The fix for this in Clp introduced a bug which took us a loooong time to track down: #77

We can officially close this as fixed on master. And moreover, we have existing tests in MOI that trigger this.

@odow odow closed this Apr 18, 2020
@odow odow deleted the ticket82 branch April 18, 2020 02:08
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