• Alexandre Duret-Lutz's avatar
    dot: fix #393 · a7051b32
    Alexandre Duret-Lutz authored
    * spot/twaalgos/dot.cc: Add support for option 'E', and default to
    rectangle nodes for large labels.
    * bin/common_aoutput.cc, NEWS: Document it.
    * tests/core/alternating.test, tests/core/dstar.test,
    tests/core/readsave.test, tests/core/sccdot.test,
    tests/core/tgbagraph.test, tests/python/_product_weak.ipynb,
    tests/python/alternation.ipynb, tests/python/atva16-fig2b.ipynb,
    tests/python/automata.ipynb, tests/python/decompose.ipynb,
    tests/python/gen.ipynb, tests/python/highlighting.ipynb,
    tests/python/ltsmin-dve.ipynb, tests/python/ltsmin-pml.ipynb,
    tests/python/parity.ipynb, tests/python/pdegen.py,
    tests/python/satmin.ipynb, tests/python/stutter-inv.ipynb: Adjust all
    test cases.
    a7051b32
common_aoutput.cc 26.7 KB