• Thomas Badie's avatar
    Optimize the use of -RRS with -R3. · 25b8d50c
    Thomas Badie authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    * src/tgbatest/ltl2tgba.cc: Change the order of the call to the
    simulation and the cosimulation.
    Call scc_filter when cosimulation is called with -R3.
    Call scc_filter when simulation is called with -R3.
    25b8d50c