• Alexandre Duret-Lutz's avatar
    genltl: add --hkrss-patterns · 4b7a6238
    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.
    4b7a6238
ltl2tgba2.test 12.7 KB