-
Alexandre Duret-Lutz authored
* spot/twaalgos/cobuchi.cc: Call sbacc() on transition-based input. * tests/Makefile.am: Remove XFAIL_TESTS. * NEWS: Adjust.
c920825f
* spot/twaalgos/cobuchi.cc: Call sbacc() on transition-based input. * tests/Makefile.am: Remove XFAIL_TESTS. * NEWS: Adjust.