• Alexandre Duret-Lutz's avatar
    work around issue #317 · c920825f
    Alexandre Duret-Lutz authored
    * spot/twaalgos/cobuchi.cc: Call sbacc() on transition-based input.
    * tests/Makefile.am: Remove XFAIL_TESTS.
    * NEWS: Adjust.
    c920825f
Makefile.am 11.8 KB