aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/evanix.c4
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)