• Alexandre Duret-Lutz's avatar
    remfin: fix a corner case for rabin_to_buchi_maybe · 1daffe12
    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.