aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorsinanmohd <sinan@sinanmohd.com>2024-07-25 08:26:37 +0530
committersinanmohd <sinan@sinanmohd.com>2024-07-25 08:26:37 +0530
commitb8f8d12de38228845ab5cb822668dcd359c43581 (patch)
treefad672574850e6da266a5b8ac0427226575e74e1 /src
parentaf7adc72f8017755018eea68aac520a2f53b3581 (diff)
evanix: mark --solver=highs as stable
Diffstat (limited to 'src')
-rw-r--r--src/evanix.c9
1 files changed, 1 insertions, 8 deletions
diff --git a/src/evanix.c b/src/evanix.c
index 9f514c4..d7963ee 100644
--- a/src/evanix.c
+++ b/src/evanix.c
@@ -250,15 +250,8 @@ int opts_read(struct evanix_opts_t *opts, char **expr, int argc, char *argv[])
return -EINVAL;
}
- if (opts->solver == solver_highs) {
- if (opts->break_evanix == false) {
- fprintf(stderr, "Running --solver=highs without "
- "--break-evanix\n");
- return -EINVAL;
- }
-
+ if (opts->solver == solver_highs)
opts->ispipelined = false;
- }
*expr = argv[optind];
return 0;