• 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
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 183 KB