• Alexandre Duret-Lutz's avatar
    simulation: improve merging of transiant-SCCs · f3e57901
    Alexandre Duret-Lutz authored
    * spot/twaalgos/simulation.cc: Code this.
    * tests/core/det.test, tests/core/dra2dba.test,
    tests/core/satmin.test, tests/core/sim3.test,
    tests/python/decompose.ipynb, tests/python/dualize.py: Adjust test
    cases.
    * NEWS: Mention the optimization.
    f3e57901
simulation.cc 31.9 KB