Skip to content

mealy: fix incorrect assertion

Alexandre Duret-Lutz requested to merge adl/fixes into next
  • spot/twaalgos/mealy_machine.cc (minimize_mealy): Do not compare result to the original unsplit machine without splitting it first.
  • tests/python/mealy.py: Add a test case.

Merge request reports