aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorsinanmohd <sinan@sinanmohd.com>2024-08-25 08:29:15 +0530
committersinanmohd <sinan@sinanmohd.com>2024-08-25 08:29:15 +0530
commit62b91f57e1a16becd95a5ae4575c42e878e19723 (patch)
tree507616223a6449c764b3dc111ffc85060f976848 /src
parent0619958e246182c02d300fe82e49f8c9d2b3a162 (diff)
evanix: only disable pipeline when highs is in use
Diffstat (limited to 'src')
-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)