-
Implement an accepting run search in spot::sccinfo, use it with the generic emptiness check. * spot/twaalgos/sccinfo.cc, spot/twaalgos/sccinfo.hh: Here. * spot/twaalgos/genem.cc, spot/twaalgos/genem.hh: Use it. * tests/python/genem.py: Test it.
51ca5ecd