-
* src/tests/safra.cc, src/tests/safra.test: Use HOA format in tests. * src/twaalgos/safra.cc: Make sure the number of sets are always odd so that cycles without any acceptance set are rejected.
8362bf3a
* src/tests/safra.cc, src/tests/safra.test: Use HOA format in tests. * src/twaalgos/safra.cc: Make sure the number of sets are always odd so that cycles without any acceptance set are rejected.