diff options
Diffstat (limited to '')
| -rw-r--r-- | src/commands.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/commands.c b/src/commands.c index f01edfd..1e5dd07 100644 --- a/src/commands.c +++ b/src/commands.c | |||
| @@ -210,7 +210,7 @@ solve_parse_args(int c, char **v) | |||
| 210 | a->opts->max_solutions = 1; | 210 | a->opts->max_solutions = 1; |
| 211 | a->opts->nthreads = 1; | 211 | a->opts->nthreads = 1; |
| 212 | a->opts->optimal = -1; | 212 | a->opts->optimal = -1; |
| 213 | a->opts->can_niss = false; | 213 | a->opts->nisstype = NORMAL; |
| 214 | a->opts->verbose = false; | 214 | a->opts->verbose = false; |
| 215 | a->opts->all = false; | 215 | a->opts->all = false; |
| 216 | a->opts->print_number = true; | 216 | a->opts->print_number = true; |
| @@ -272,7 +272,10 @@ solve_parse_args(int c, char **v) | |||
| 272 | a->opts->optimal = val; | 272 | a->opts->optimal = val; |
| 273 | infinitesols = true; | 273 | infinitesols = true; |
| 274 | } else if (!strcmp(v[i], "-N")) { | 274 | } else if (!strcmp(v[i], "-N")) { |
| 275 | a->opts->can_niss = true; | 275 | a->opts->nisstype = NISS; |
| 276 | } else if (!strcmp(v[i], "-L")) { | ||
| 277 | if (a->opts->nisstype != NISS) | ||
| 278 | a->opts->nisstype = LINEAR; | ||
| 276 | } else if (!strcmp(v[i], "-i")) { | 279 | } else if (!strcmp(v[i], "-i")) { |
| 277 | a->scrstdin = true; | 280 | a->scrstdin = true; |
| 278 | } else if (!strcmp(v[i], "-v")) { | 281 | } else if (!strcmp(v[i], "-v")) { |
