Skip to content
  • Alexandre Duret-Lutz's avatar
    Overhaul LaCIM's ELTL options. · 369e4c41
    Alexandre Duret-Lutz authored
    * src/tgbatest/ltl2tgba.cc (syntax, main): Introduce -le to select
    this algorithm and -lo to add the default LTL operators.  This
    replace the undocumented hack to add LTL operators when the
    formula with read for command-line, or the automaton was output
    for LBTT.
    * src/tgbatest/eltl2tgba.test, src/tgbatest/spotlbtt.test: Update
    call syntax.
    * NEWS: Mention -le, -lo, and -taa.
    369e4c41