diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-25 10:08:02 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-25 10:08:02 +0100 |
| commit | 51dff333ceb5228b8de98dd621c0c2b62ed43441 (patch) | |
| tree | 3099fc04207bae157abcc593b9f7784edf83d7a6 /src/commands.c | |
| parent | bedc3ef9af6bc54f3ede135f1ad72565a8494f84 (diff) | |
| download | nissy-51dff333ceb5228b8de98dd621c0c2b62ed43441.tar.gz nissy-51dff333ceb5228b8de98dd621c0c2b62ed43441.zip | |
Changed -s (max solutions) option to -n and -n (NISS) to -N
Diffstat (limited to 'src/commands.c')
| -rw-r--r-- | src/commands.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/commands.c b/src/commands.c index d515042..85b62ac 100644 --- a/src/commands.c +++ b/src/commands.c | |||
| @@ -163,7 +163,7 @@ solve_parse_args(int c, char **v) | |||
| 163 | return a; | 163 | return a; |
| 164 | } | 164 | } |
| 165 | a->opts->nthreads = val; | 165 | a->opts->nthreads = val; |
| 166 | } else if (!strcmp(v[i], "-s") && i+1 < c) { | 166 | } else if (!strcmp(v[i], "-n") && i+1 < c) { |
| 167 | val = strtol(v[++i], NULL, 10); | 167 | val = strtol(v[++i], NULL, 10); |
| 168 | if (val < 1 || val > 1000000) { | 168 | if (val < 1 || val > 1000000) { |
| 169 | fprintf(stderr, | 169 | fprintf(stderr, |
| @@ -175,7 +175,7 @@ solve_parse_args(int c, char **v) | |||
| 175 | } else if (!strcmp(v[i], "-o")) { | 175 | } else if (!strcmp(v[i], "-o")) { |
| 176 | a->opts->optimal_only = true; | 176 | a->opts->optimal_only = true; |
| 177 | infinitesols = true; | 177 | infinitesols = true; |
| 178 | } else if (!strcmp(v[i], "-n")) { | 178 | } else if (!strcmp(v[i], "-N")) { |
| 179 | a->opts->can_niss = true; | 179 | a->opts->can_niss = true; |
| 180 | } else if (!strcmp(v[i], "-v")) { | 180 | } else if (!strcmp(v[i], "-v")) { |
| 181 | a->opts->verbose = true; | 181 | a->opts->verbose = true; |