alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

reduce_parity: fix to work on automata with deleted edges

Browse source 
* 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.
This commit is contained in:
Alexandre Duret-Lutz 2022-02-13 18:37:34 +01:00
parent b7825552f8
commit 64020279cb
3 changed files with 25 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

5
NEWS
View file

@ -2,6 +2,11 @@ New in spot 2.10.4.dev (net yet released)
Nothing yet.
Bugs fixed:
- reduce_parity() produced incorrect results when applied to
automata with deleted edges.
New in spot 2.10.4 (2022-02-01)
Bug fixed: