diff options
Diffstat (limited to 'src/evanix.c')
| -rw-r--r-- | src/evanix.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/evanix.c b/src/evanix.c index 54379de..b4852bb 100644 --- a/src/evanix.c +++ b/src/evanix.c @@ -331,8 +331,10 @@ static int opts_read(struct evanix_opts_t *opts, char **expr, int argc, goto out_free_evanix; } - if (opts->solver == solver_highs) + if (opts->solver == solver_highs && + (opts->max_time || opts->max_builds)) { opts->ispipelined = false; + } out_free_evanix: if (ret != 0) |