-
Alexandre Duret-Lutz authored
Fixes #99. * src/tests/parseaut.test: New test case. * src/twa/acc.cc (is_generalized_rabin): Fix detection of Fin(0)|Fin(1)|Fin(2)&Inf(3). * NEWS: Mention it.
e76596e1
Fixes #99. * src/tests/parseaut.test: New test case. * src/twa/acc.cc (is_generalized_rabin): Fix detection of Fin(0)|Fin(1)|Fin(2)&Inf(3). * NEWS: Mention it.