Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Unfortunately there is no fine granularity when an error occurs. That makes it more relevant to list as many possibilities for the causes as possible. In this patch, one additional cause is added to the ones already presented (no optimization done due to timeout from max_eval_time_mins).
- Loading branch information