Skip to content
  • Alexandre Duret-Lutz's avatar
    complement: fix a regression with 2.9.8 · 852abc77
    Alexandre Duret-Lutz authored
    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.
    852abc77
To find the state of this project's repository at the time of any of these versions, check out the tags.