• Alexandre Duret-Lutz's avatar
    sccfilter: ignore more acceptance conditions · c46891ed
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/sccfilter.cc: Compute useless variable SCC-wise, then
    renumber the useful variables so that they can be shared between SCCs.
    * src/tgbatest/sccsimpl.test, src/tgbatest/ltl2ta.test: Adjust test
    cases.
    c46891ed
sccsimpl.test 4.57 KB