You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Eventually all of the worker threads hang, whether or not any acceptable curves are found first. It should exit when it has exhausted the search space.
The text was updated successfully, but these errors were encountered:
When I opened this ticket we did not have a need to pick the first solution. I agree that a --first argument might be useful, and that it would work around the bug in cases where we know there's a solution. It doesn't fix the bug, though; we should exit when we've exhausted the search space regardless.
Eventually all of the worker threads hang, whether or not any acceptable curves are found first. It should exit when it has exhausted the search space.
The text was updated successfully, but these errors were encountered: