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
To find the state of this project's repository at the time of any of these versions, check out the tags.