-
* src/tests/safra.cc, src/tests/safra.test: Update results. * src/twaalgos/safra.cc, src/twaalgos/safra.hh: The use of transitions resulted in non deterministic automata. By using sub-transitions the problem is solved.
d0d42f86
* src/tests/safra.cc, src/tests/safra.test: Update results. * src/twaalgos/safra.cc, src/twaalgos/safra.hh: The use of transitions resulted in non deterministic automata. By using sub-transitions the problem is solved.