-
Alexandre Duret-Lutz authored
* src/tgbaalgos/degen.cc: Fixups. * src/tgbatest/ltl2tgba.cc: Add switches to enable/disable the options Tomáš added to degeneralize().
c04951c4
* src/tgbaalgos/degen.cc: Fixups. * src/tgbatest/ltl2tgba.cc: Add switches to enable/disable the options Tomáš added to degeneralize().