-
* src/tests/safra.cc, src/tests/safra.test: Update it. * src/twaalgos/safra.cc, src/twaalgos/safra.hh: all nodes in a safra state are grouped by SCC. This is done by putting them in different braces. The same SCC can have different ids depending on the safra state.
bb93f6e9