• Alexandre Duret-Lutz's avatar
    fix streett_to_generalized_buchi · 9464043d
    Alexandre Duret-Lutz authored
    Fixes #316.
    
    * spot/twaalgos/totgba.cc: Fix confusing definition of scc_inf_wo_fin.
    * tests/python/streett_totgba2.py: New test case.
    * tests/Makefile.am: Add it.
    * NEWS: Mention the bug.
    9464043d
totgba.cc 33.8 KB