Skip to content
Find file Blame History Permalink
  • 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