Skip to content
  • Alexandre Duret-Lutz's avatar
    ltl2ta: fix a crash with --ta. · a5b6865c
    Alexandre Duret-Lutz authored
    * src/taalgos/tgba2ta.cc: Do not assume the input is an sba.
    * src/tgbatest/ltl2ta2.test: New file.
    * src/tgbatest/Makefile.am: Add it.
    * NEWS: Mention the fix.
    a5b6865c
To find the state of this project's repository at the time of any of these versions, check out the tags.