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