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

bin: make --stats and --format synonyms

Browse source 
* bin/common_output.cc: Make --stats an alias of --format.
* bin/common_aoutput.cc: Make --format an alias of --stats.
* tests/core/acc2.test, tests/core/format.test: Test these aliases.
* NEWS: Mention this.
This commit is contained in:
Alexandre Duret-Lutz 2017-09-04 17:42:13 +02:00
parent f726152ebd
commit e452e09ff7
5 changed files with 10 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
bin/common_aoutput.cc
View file

@ -142,6 +142,7 @@ static const argp_option options[] =
"(ignored with --lbtt or --spin)", 0 },
{ "stats", OPT_STATS, "FORMAT", 0,
"output statistics about the automaton", 0 },
{ "format", 0, nullptr, OPTION_ALIAS, nullptr, 0 },
{ "check", OPT_CHECK, "PROP", OPTION_ARG_OPTIONAL,
"test for the additional property PROP and output the result "
"in the HOA format (implies -H). PROP may be any prefix of "