Skip to content
  • Alexandre Duret-Lutz's avatar
    twa_graph: do not order BDDs by IDs in merge_edges() · cdfe78f1
    Alexandre Duret-Lutz authored
    Fixes #282.
    
    * spot/misc/bddlt.hh (bdd_less_than_stable): New function.
    * spot/twa/twagraph.cc (merge_edges): Use it.
    * tests/core/complement.test, tests/core/degenid.test,
    tests/core/ltldo.test, tests/core/prodor.test,
    tests/core/readsave.test, tests/core/sbacc.test,
    tests/python/atva16-fig2a.ipynb, tests/python/automata.ipynb,
    tests/python/decompose.ipynb, tests/python/dualize.py,
    tests/python/highlighting.ipynb, tests/python/piperead.ipynb,
    tests/python/product.ipynb, tests/python/simstate.py,
    tests/python/tra2tba.py: Adjust all expected outputs.
    * NEWS: Mention the bug.
    cdfe78f1