diff options
author | sinanmohd <sinan@sinanmohd.com> | 2024-07-24 18:15:51 +0530 |
---|---|---|
committer | sinanmohd <sinan@sinanmohd.com> | 2024-07-24 18:15:51 +0530 |
commit | 81f04e0be44572680a3321ffa8ca0d72338eb3c2 (patch) | |
tree | 3705588e59dc4a9de535b10f3c848a070bd053db /src | |
parent | 42dcde08c51a781c22613af194f95ef980d03a5b (diff) |
evanix: disable pipeline with --solver=highs
Diffstat (limited to 'src')
-rw-r--r-- | src/evanix.c | 12 |
1 files 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]; |