• 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
tgba2ta.cc 20.3 KB