-
Alexandre Duret-Lutz authored
* spot/twa/acc.cc: Fix detection of single-pairs gen-Rabin and gen-Streett. * tests/core/randaut.test: Add test case. * NEWS: Mention this issue.
bf42b19e
To find the state of this project's repository at the time of any of these versions, check out the tags.