alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

modelcheck: conversions now report about the options

Browse source 
* tests/ltsmin/modelcheck.cc: here.
This commit is contained in:
Etienne Renault 2018-07-04 11:19:23 +02:00
parent 5d30286dd6
commit 5062d1c2fa
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tests/ltsmin/modelcheck.cc
View file

@ -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;