Commit d6722a92 authored by Etienne Renault's avatar Etienne Renault

modelcheck: conversions now report about the options

* tests/ltsmin/modelcheck.cc: here.
parent 8ff86068
......@@ -123,7 +123,7 @@ parse_opt_finput(int key, char* arg, struct argp_state*)
mc_options.model = arg;
break;
case 'p':
mc_options.nb_threads = to_unsigned(arg);
mc_options.nb_threads = to_unsigned(arg, "-p/--parallel");
break;
case 's':
mc_options.dead_ap = arg;
......@@ -132,7 +132,7 @@ parse_opt_finput(int key, char* arg, struct argp_state*)
mc_options.use_timer = true;
break;
case 'z':
mc_options.compress = to_unsigned(arg);
mc_options.compress = to_unsigned(arg, "-z/--compress");
break;
default:
return ARGP_ERR_UNKNOWN;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment