• Alexandre Duret-Lutz's avatar
    remove_fin: improve behavior on unclean acceptance · 56f768f5
    Alexandre Duret-Lutz authored
    Related to #188.  This is a third fix that independently
    makes `'utfilt --is-unambiguous -q smaller.hoa' instantaneous.
    
    * spot/twaalgos/remfin.cc: Clean the received automaton if
    necessary.
    * bin/autfilt.cc: No need to call cleanup_acceptance_here() before
    remove_fin() anymore.
    * tests/core/remfin.test: Add an additional test.
    * NEWS: Mention the change.
    56f768f5
autfilt.cc 43 KB