-
* src/tests/safra.cc: Add option. * src/twaalgos/safra.cc, src/twaalgos/safra.hh: When a node leaves an SCC, all the subpaths of that node are removed.
3bd95c32
* src/tests/safra.cc: Add option. * src/twaalgos/safra.cc, src/twaalgos/safra.hh: When a node leaves an SCC, all the subpaths of that node are removed.