remove_alternation: option to return nullptr if too many sets needed (!108) · Merge requests · Spot / Spot · GitLab

Alexandre Duret-Lutz requested to merge adl/557 into next Jan 26, 2024

spot/twaalgos/alternation.hh, spot/twaalgos/alternation.cc: Add the new options.
spot/twaalgos/complement.cc, spot/twaalgos/minimize.cc: Use it.
tests/core/optba.test: Add a test case from Yann.
NEWS: Mention those changes.