-
Alexandre Duret-Lutz authored
* spot/twaalgos/sccinfo.cc (split_on_sets): Correctly register APs. * tests/python/sccsplit.py: New file. * tests/Makefile.am: Add it. * NEWS: Mention the bug.
b2e51545
* spot/twaalgos/sccinfo.cc (split_on_sets): Correctly register APs. * tests/python/sccsplit.py: New file. * tests/Makefile.am: Add it. * NEWS: Mention the bug.