-
Alexandre Duret-Lutz authored
when fin_alone sets where presents (i.e., not really Rabin condition), the rabin_to_buchi_maybe() could fail to notice DBA-typeness. * spot/twaalgos/remfin.cc: Don't set scc_ba_type to false when fin_alone is present. * tests/core/remfin.test: Add a test case.
1daffe12