• Alexandre Duret-Lutz's avatar
    ltl2tgba: apply -R3 before -D or -DS. · efb15a91
    Alexandre Duret-Lutz authored
    * src/tgbatest/ltl2tgba.cc (main): Call scc_filter() before the
    degeneralization, because it might remove useless acceptance
    conditions.  I realized this while looking at experiments from
    Rüdiger Ehlers.
To find the state of this project's repository at the time of any of these versions, check out the tags.