Skip to content
Snippets Groups Projects

reduce_parity: fix to work on automata with deleted edges

Merged Alexandre Duret-Lutz requested to merge adl/redpar into next
  • 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

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply