-
Alexandre Duret-Lutz authored
* spot/twaalgos/remfin.cc: Simplify acceptance before trying the different strategies. * spot/twaalgos/cleanacc.cc: Skip simplify_complementary_marks_here() on generalized Büchi. * tests/core/remfin.test, tests/python/tra2tba.py: Adjust. * spot/twaalgos/totgba.cc: Simplify the result of Streett->GBA. * NEWS: Adjust.
a924bc56