evanix: only disable pipeline when highs is in use

sinanmohd · Aug 25, 2024 · 62b91f5 · 62b91f5
1 parent 0619958
commit 62b91f5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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)