Skip to content
  • Alexandre Duret-Lutz's avatar
    genltl: add --hkrss-patterns · 1c2a7f3d
    Alexandre Duret-Lutz authored
    Fixes #245.
    
    * bin/genltl.cc: Add the option.
    * bin/man/genltl.x: Add reference.
    * tests/core/ltl2tgba2.test: Use these patterns.
    * doc/org/genltl.org, NEWS: Document the options.
    1c2a7f3d