From 62b91f57e1a16becd95a5ae4575c42e878e19723 Mon Sep 17 00:00:00 2001 From: sinanmohd Date: Sun, 25 Aug 2024 08:29:15 +0530 Subject: evanix: only disable pipeline when highs is in use --- src/evanix.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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) -- cgit v1.2.3