Skip to content
  • Alexandre Duret-Lutz's avatar
    ltldo, ltl2tgba: support %< and %> · 992c9715
    Alexandre Duret-Lutz authored
    * bin/common_aoutput.hh, bin/common_aoutput.cc,
    bin/ltl2tgba.cc, bin/ltldo.cc: Add support for %< and %>.
    * tests/core/ltl2tgba.test, tests/core/ltldo.test: Test it.
    * NEWS: Mention it.
    992c9715