• Alexandre Duret-Lutz's avatar
    cleanacc: better cleanup · 7353e47f
    Alexandre Duret-Lutz authored
    Sometimes, simplifying the acceptance condition (because it refers to
    sets that do not appear in the automaton) cause more sets to be removed
    from the acceptance condition, and therefore warrant another pass to
    remove those sets from the automaton.
    * src/tgbaalgos/cleanacc.cc: Here.
    * src/tgbatest/hoaparse.test: Add a test case.