• Alexandre Duret-Lutz's avatar
    scc_info: make it possible to ignore or cut edges · 42562015
    Alexandre Duret-Lutz authored
    * spot/twaalgos/sccinfo.hh, spot/twaalgos/sccinfo.cc: Take
    a filter function as optional argument.
    * tests/core/sccif.cc, tests/core/sccif.test: New files.
    * tests/Makefile.am, tests/core/.gitignore: Adjust.
    * NEWS: Mention the new feature.
    42562015
Makefile.am 11.1 KB