• Alexandre Duret-Lutz's avatar
    twa_graph: do not order BDDs by IDs in merge_edges() · 5e5a6948
    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/genltl.test: Adjust, and add an extra test
    for the behavior of #282.
    * 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.
    5e5a6948
twagraph.cc 27.3 KB