-
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
To find the state of this project's repository at the time of any of these versions, check out the tags.