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

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

* bin/ Here.
* NEWS: Mention it.
parent 276f4060
......@@ -5,6 +5,8 @@ New in spot (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
......@@ -264,6 +264,7 @@ static const argp_option options[] =
"Dwyer et al. [FMSP'98] Spec. Patterns for LTL "
"(range should be included in 1..55)", 0 },
"Etessami and Holzmann [Concur'00] patterns "
"(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