search

jump-dev / MiniZinc.jl

A Julia interface to the MiniZinc constraint modeling language
https://www.minizinc.org/
MIT License
18 stars 4 forks source link

Fix TerminationStatus when SolutionLimit is 1 #62

Closed odow closed 9 months ago

odow commented 9 months ago

Closes #61

codecov[bot] commented 9 months ago

Codecov Report

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

Comparison is base (2cc387e) 97.45% compared to head (8489974) 97.47%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #62 +/- ## ========================================== + Coverage 97.45% 97.47% +0.02% ========================================== Files 3 3 Lines 471 475 +4 ========================================== + Hits 459 463 +4 Misses 12 12 ```

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

chriscoey commented 9 months ago

Thanks @odow!! Please tag after merge 😃