-
Alexandre Duret-Lutz authored
* src/tgbaalgos/ltl2tgba_fm.cc: Fix. * src/tgbatest/randpsl.test: Rewrite using ltlcross and add a testcase. * NEWS: Mention it.
408dc878
* src/tgbaalgos/ltl2tgba_fm.cc: Fix. * src/tgbatest/randpsl.test: Rewrite using ltlcross and add a testcase. * NEWS: Mention it.