Commit d9022f79 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

bin: remove unsupported %b stats from --help

* bin/common_aoutput.cc: Here.
* NEWS: Mention it.
parent e4a5bf81
...@@ -66,6 +66,9 @@ New in spot 2.3.3.dev (not yet released) ...@@ -66,6 +66,9 @@ New in spot 2.3.3.dev (not yet released)
- the transformation to state-based acceptance (spot::sbacc()) was - the transformation to state-based acceptance (spot::sbacc()) was
incorrect on automata where the empty acceptance mark is accepting. incorrect on automata where the empty acceptance mark is accepting.
- the --help output of randaut and ltl2tgba was showing an
unsupported %b stat.
Backward-incompatible changes: Backward-incompatible changes:
- spot::acc_cond::mark_t::operator bool() has been marked as - spot::acc_cond::mark_t::operator bool() has been marked as
......
...@@ -239,8 +239,6 @@ static const argp_option o_options[] = ...@@ -239,8 +239,6 @@ static const argp_option o_options[] =
"number of transitions", 0 }, "number of transitions", 0 },
{ "%a", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, { "%a", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,
"number of acceptance sets", 0 }, "number of acceptance sets", 0 },
{ "%b", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,
"number of acceptance sets", 0 },
{ "%g", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, { "%g", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,
"acceptance condition (in HOA syntax)", 0 }, "acceptance condition (in HOA syntax)", 0 },
{ "%c, %[LETTERS]c", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE, { "%c, %[LETTERS]c", 0, nullptr, OPTION_DOC | OPTION_NO_USAGE,
......
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