Skip to content
  • Alexandre Duret-Lutz's avatar
    scc_filter: add quick test for very-weak · fbc372e2
    Alexandre Duret-Lutz authored
    Related to issue #351.
    
    * spot/twaalgos/sccfilter.cc: When handling weak automata, we know
    they are very-weak if the SCC count is equal to the number of states.
    * tests/core/dca2.test, tests/core/monitor.test,
    tests/core/parity2.test, tests/core/randomize.test,
    tests/core/readsave.test, tests/core/remfin.test,
    tests/core/sccsimpl.test, tests/core/wdba2.test,
    tests/python/dualize.py, tests/python/remfin.py: Adjust output.
    fbc372e2