-
Alexandre Duret-Lutz authored
* spot/twaalgos/degen.cc: If an all-accepting transition has been redirected, we need to force purge_unreachable_state() to be called, otherwise we may have unreachable states. * tests/python/pdegen.py: Add test case.
dd8c00ff