reduce_parity: fix to work on automata with deleted edges
- spot/twaalgos/parity.cc (reduce_parity): Use the size of the edge vector to initialize piprime1 and piprime2, not the number of edges.
- tests/python/parity.py: Add test case, based on a report by Yann Thierry-Mieg.
Merge request reports
Activity
Filter activity
enabled an automatic merge when the pipeline for 3f9f6029 succeeds
Please register or sign in to reply