Skip to content
  • Thomas Medioni's avatar
    streett_to_generalized_buchi() now works on Streett-like · 7b5b8f34
    Thomas Medioni authored
    * NEWS: Mention the modification.
    * spot/twaalgos/remfin.cc: Adapt to avoid infinite recursion.
    * spot/twaalgos/totgba.cc: Work on Streett-like.
    * tests/Makefile.am, tests/python/streett_totgba.py: Tests the
      modification.
    * tests/core/remfin.test: Fix one test case that is now handled by
      the modification.
    7b5b8f34