From 14addce640eff83107705ad001939072262e6fec Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 22 Mar 2017 07:27:07 +0100 Subject: [PATCH] genltl: add --spec-patterns as an alias to --dac-patterns * bin/genltl.cc: Here. * NEWS: Mention it. --- NEWS | 2 ++ bin/genltl.cc | 1 + 2 files changed, 3 insertions(+) diff --git a/NEWS b/NEWS index 112e6f8aa..bd9a73354 100644 --- a/NEWS +++ b/NEWS @@ -5,6 +5,8 @@ New in spot 2.3.2.dev (not yet released) - ltldo and ltlcross learned shorthands to talk to ltl2da, ltl2dpa, and ltl2ldba (from Owl) without needing to specify %f>%O. + - genltl learned --spec-patterns as an alias for --dac-patterns + Bug fixes: - In "lenient" mode the parser would fail to recover from diff --git a/bin/genltl.cc b/bin/genltl.cc index dc812d7be..fd9f3f091 100644 --- a/bin/genltl.cc +++ b/bin/genltl.cc @@ -264,6 +264,7 @@ static const argp_option options[] = { "dac-patterns", OPT_DAC_PATTERNS, "RANGE", OPTION_ARG_OPTIONAL, "Dwyer et al. [FMSP'98] Spec. Patterns for LTL " "(range should be included in 1..55)", 0 }, + OPT_ALIAS(spec-patterns), { "eh-patterns", OPT_EH_PATTERNS, "RANGE", OPTION_ARG_OPTIONAL, "Etessami and Holzmann [Concur'00] patterns " "(range should be included in 1..12)", 0 },