Skip to content
  • Alexandre Duret-Lutz's avatar
    postproc: simplify the acceptance condition · a325de86
    Alexandre Duret-Lutz authored
    * spot/twaalgos/postproc.cc: Here.
    * spot/twaalgos/cobuchi.cc, spot/twaalgos/totgba.cc: Fix some bug
    uncovered by the new simplified automata.
    * tests/core/satmin2.test, tests/core/sccdot.test,
    tests/core/sim3.test, tests/python/decompose.ipynb,
    tests/python/satmin.ipynb: Update expected results.
    * NEWS: Mention the simplification and the bug.
    a325de86