Skip to content
Find file Blame History Permalink
  • 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