-
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
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.