-
Alexandre Duret-Lutz authored
* src/tgbaalgos/neverclaim.cc, src/tgbaalgos/neverclaim.hh: Here. Also take a string to supply options. * src/tgbatest/ltl2tgba.cc: Adjust call.
4f6f71fe
* src/tgbaalgos/neverclaim.cc, src/tgbaalgos/neverclaim.hh: Here. Also take a string to supply options. * src/tgbatest/ltl2tgba.cc: Adjust call.