• 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.
    efb15a91
ltl2tgba.cc 34.5 KB