diff options
| author | sinanmohd <sinan@sinanmohd.com> | 2024-08-25 08:29:15 +0530 |
|---|---|---|
| committer | sinanmohd <sinan@sinanmohd.com> | 2024-08-25 08:29:15 +0530 |
| commit | 62b91f57e1a16becd95a5ae4575c42e878e19723 (patch) | |
| tree | 507616223a6449c764b3dc111ffc85060f976848 | |
| parent | 0619958e246182c02d300fe82e49f8c9d2b3a162 (diff) | |
evanix: only disable pipeline when highs is in use
| -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) |