aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorsinanmohd <sinan@sinanmohd.com>2024-07-24 18:15:51 +0530
committersinanmohd <sinan@sinanmohd.com>2024-07-24 18:15:51 +0530
commit81f04e0be44572680a3321ffa8ca0d72338eb3c2 (patch)
tree3705588e59dc4a9de535b10f3c848a070bd053db /src
parent42dcde08c51a781c22613af194f95ef980d03a5b (diff)
evanix: disable pipeline with --solver=highs
Diffstat (limited to 'src')
-rw-r--r--src/evanix.c12
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];