dualize: improve performance on small automata with large |AP| (!115) · Merge requests · Spot / Spot · GitLab

Alexandre Duret-Lutz requested to merge adl/566 into next Mar 18, 2024

For issue #566 (closed).

spot/twaalgos/dualize.cc (dualizer::copy_edges): Implement another loop to be used when the number of outgoing edges of a state is smaller than the number of AP.
tests/core/566.test: New file.
tests/Makefile.am: Add it.
NEWS: Mention the improvement.