From 81f04e0be44572680a3321ffa8ca0d72338eb3c2 Mon Sep 17 00:00:00 2001 From: sinanmohd Date: Wed, 24 Jul 2024 18:15:51 +0530 Subject: evanix: disable pipeline with --solver=highs --- src/evanix.c | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/src/evanix.c b/src/evanix.c index 293c8fe..80a5b25 100644 --- a/src/evanix.c +++ b/src/evanix.c @@ -250,10 +250,14 @@ int opts_read(struct evanix_opts_t *opts, char **expr, int argc, char *argv[]) return -EINVAL; } - if (opts->solver == solver_highs && !opts->break_evanix) { - fprintf(stderr, - "Running --solver=highs without --break-evanix\n"); - return -EINVAL; + if (opts->solver == solver_highs) { + if (opts->break_evanix == false) { + fprintf(stderr, "Running --solver=highs without " + "--break-evanix\n"); + return -EINVAL; + } + + opts->ispipelined = false; } *expr = argv[optind]; -- cgit v1.2.3