search

jump-dev / KNITRO.jl

A Julia interface to the Artelys Knitro solver
https://www.artelys.com/knitro
Other
78 stars 23 forks source link

Use .zip upload of knitro14 in CI #284

Open odow opened 7 months ago

odow commented 7 months ago

Trying https://github.com/JuliaSmoothOptimizers/NLPModelsKnitro.jl/pull/123#issuecomment-1969374088

codecov[bot] commented 7 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 84.60%. Comparing base (ae2eab0) to head (2f4a159).

:exclamation: Current head 2f4a159 differs from pull request most recent head d957530. Consider uploading reports for the commit d957530 to get more accurate results

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #284 +/- ## ========================================== - Coverage 84.61% 84.60% -0.02% ========================================== Files 3 3 Lines 1001 1000 -1 ========================================== - Hits 847 846 -1 Misses 154 154 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

odow commented 6 months ago

cc @amontoison I guess we need to rebuild libknitro.jl for v14?

I assume the sigabrts mean that we're calling some part of the C API wrong:

image
odow commented 6 months ago

These segfaults are in the middle of KN_solve, and they are for a linear problem. I think this might be a bug in KNITRO? We're not doing anything to trigger this.

How did you build the zip? Are we missing anything else?

amontoison commented 6 months ago

These segfaults are in the middle of KN_solve, and they are for a linear problem. I think this might be a bug in KNITRO? We're not doing anything to trigger this.

How did you build the zip? Are we missing anything else?

I just did an archive with the shared libraries of the four platforms. We should check with ldd that libiompi is the only dependency of libknitro. I highly suspect a bug in KNITRO, we should comment the linear problem to see if it's the only issue.