Commit e86add48 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

genltl: add --spec-patterns as an alias to --dac-patterns

* bin/genltl.cc: Here.
* NEWS: Mention it.
parent 0de5f50d
...@@ -5,6 +5,8 @@ New in spot 2.3.2.dev (not yet released) ...@@ -5,6 +5,8 @@ New in spot 2.3.2.dev (not yet released)
- In autfilt, the options --sum(--sum-or) and --sum-and are - In autfilt, the options --sum(--sum-or) and --sum-and are
implemented. implemented.
- genltl learned --spec-patterns as an alias for --dac-patterns
Library: Library:
- spot::sum() and spot::sum_and() implements the union and the - spot::sum() and spot::sum_and() implements the union and the
......
...@@ -264,6 +264,7 @@ static const argp_option options[] = ...@@ -264,6 +264,7 @@ static const argp_option options[] =
{ "dac-patterns", OPT_DAC_PATTERNS, "RANGE", OPTION_ARG_OPTIONAL, { "dac-patterns", OPT_DAC_PATTERNS, "RANGE", OPTION_ARG_OPTIONAL,
"Dwyer et al. [FMSP'98] Spec. Patterns for LTL " "Dwyer et al. [FMSP'98] Spec. Patterns for LTL "
"(range should be included in 1..55)", 0 }, "(range should be included in 1..55)", 0 },
OPT_ALIAS(spec-patterns),
{ "eh-patterns", OPT_EH_PATTERNS, "RANGE", OPTION_ARG_OPTIONAL, { "eh-patterns", OPT_EH_PATTERNS, "RANGE", OPTION_ARG_OPTIONAL,
"Etessami and Holzmann [Concur'00] patterns " "Etessami and Holzmann [Concur'00] patterns "
"(range should be included in 1..12)", 0 }, "(range should be included in 1..12)", 0 },
......
Supports Markdown
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