• Alexandre Duret-Lutz's avatar
    Touch up -R3b handling. · 9a43a06b
    Alexandre Duret-Lutz authored
    * src/tgbatest/ltl2tgba.cc (syntax): Move -R3b with the other
    LaCIM options.
    (main): Speak of "symbolic SCC pruning" instead of "deleting
    unaccepting SCC", and do that right after the translation, before
    degeneralization.  Also error out when -R3b is used on non
    symbolic automata.
    9a43a06b
ltl2tgba.cc 34 KB