reduce_parity: fix to work on automata with deleted edges (!45) · Merge requests · Spot / Spot · GitLab

Alexandre Duret-Lutz requested to merge adl/redpar into next Feb 14, 2022

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.