-
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.
aad5b135
* 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.