Skip to content
  • Alexandre Duret-Lutz's avatar
    simplify_acc: loop over the simplifications · 102ef043
    Alexandre Duret-Lutz authored
    * spot/twaalgos/cleanacc.cc (simplify_acceptance_here): Run the
    simplifications in a loop until the condition does not change anymore.
    * tests/python/simplacc.py, tests/core/accsimpl.test,
    tests/core/remfin.test, tests/python/merge.py,
    tests/python/simplacc.py, tests/python/toparity.py: Update expected
    results.
    * tests/python/automata.ipynb: Update the failing example to a more
    interesting one, matching the one in doc/org/autfilt.org.
    102ef043