diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2023-09-24 18:03:44 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2023-09-24 18:03:44 +0200 |
| commit | 214ef0fe87b48e044681bb831b8ae2fc2fe1a35b (patch) | |
| tree | 1dc657cd93d9c208bdee41b44f2f32b651177523 /src/commands.c | |
| parent | db4d88428a1bf20652f11d4cf9b31b7114fdacfb (diff) | |
| download | nissy-classic-214ef0fe87b48e044681bb831b8ae2fc2fe1a35b.tar.gz nissy-classic-214ef0fe87b48e044681bb831b8ae2fc2fe1a35b.zip | |
Added -L option
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")) { |
