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
Interesting to consider how we should handle getting some results before timing out. Do we throw time_limit_exceeded and discard results? Or can we somehow throw without losing the incremental results?
secretly my intent was to give results up until the time.. sicne we are using a lazy iterator... they already have the answers (we canty take them back if we wanted to)
then at timeout should they get an exception, they can catch,? and if they want they can continue to get more?
max-time!
only returns the first result but should return all (assuming it completes with the time limit). For exampleshould return
[a, b, c]
The text was updated successfully, but these errors were encountered: