Skip to content
  • Alexandre Duret-Lutz's avatar
    Fix a longstanding bug reported by Kristin Y. Rozier.. · 6fb7e9fa
    Alexandre Duret-Lutz authored
    * src/ltlast/formula.hh (formula_ptr_less_than::operator()):
    Fix a typo where `l' was typed as `1'.
    * src/tgbatest/ltlcounter/: New files from Kristin Y. Rozier.
    * src/tgbatest/ltlcounter.test: New
    * src/tgbatest/Makefile.am (TESTS): Add ltlcounter.test.
    (EXTRA_DIST): Add files in ltlcounter/.
    6fb7e9fa