diff options
author | sinanmohd <sinan@sinanmohd.com> | 2024-07-25 08:26:37 +0530 |
---|---|---|
committer | sinanmohd <sinan@sinanmohd.com> | 2024-07-25 08:26:37 +0530 |
commit | b8f8d12de38228845ab5cb822668dcd359c43581 (patch) | |
tree | fad672574850e6da266a5b8ac0427226575e74e1 /src | |
parent | af7adc72f8017755018eea68aac520a2f53b3581 (diff) |
evanix: mark --solver=highs as stable
Diffstat (limited to 'src')
-rw-r--r-- | src/evanix.c | 9 |
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; |