From 51dff333ceb5228b8de98dd621c0c2b62ed43441 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sat, 25 Dec 2021 10:08:02 +0100 Subject: Changed -s (max solutions) option to -n and -n (NISS) to -N --- src/commands.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') 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) return a; } a->opts->nthreads = val; - } else if (!strcmp(v[i], "-s") && i+1 < c) { + } else if (!strcmp(v[i], "-n") && i+1 < c) { val = strtol(v[++i], NULL, 10); if (val < 1 || val > 1000000) { fprintf(stderr, @@ -175,7 +175,7 @@ solve_parse_args(int c, char **v) } else if (!strcmp(v[i], "-o")) { a->opts->optimal_only = true; infinitesols = true; - } else if (!strcmp(v[i], "-n")) { + } else if (!strcmp(v[i], "-N")) { a->opts->can_niss = true; } else if (!strcmp(v[i], "-v")) { a->opts->verbose = true; -- cgit v1.3