Skip to content

complement: fix a regression with 2.9.8

Alexandre Duret-Lutz requested to merge adl/orig-classes into next

Reported by Reuben Rowe.

  • spot/twaalgos/complement.cc (complement): Remove the hard-coded simul=0 option on automata with >32 states. In 2.10 simul=0 now implies det-simul=0, causing the regression, and most importantly it is not needed anymore, because we have other threashold like simul-max and simul-trans-pruning in place.
  • tests/core/complement.test: Add Reuben's automaton as test case.
  • NEWS: Mention the fix.

Merge request reports