-
* src/tests/safra.test: Update it. * src/twaalgos/safra.cc, src/twaalgos/safra.hh: Acceptance is now MIN ODD. We only track runs within an SCC and only consider accepting SCC.
18396e59
* src/tests/safra.test: Update it. * src/twaalgos/safra.cc, src/twaalgos/safra.hh: Acceptance is now MIN ODD. We only track runs within an SCC and only consider accepting SCC.