• Alexandre Duret-Lutz's avatar
    dot: display acceptance names · 1cc45b24
    Alexandre Duret-Lutz authored
    * spot/twaalgos/dot.cc: Display common acceptance names.
    * NEWS: Mention the change.
    * doc/org/oaut.org: Adjust text.
    * tests/core/alternating.test, tests/core/readsave.test,
    tests/python/_altscc.ipynb, tests/python/alternation.ipynb,
    tests/python/atva16-fig2a.ipynb, tests/python/atva16-fig2b.ipynb,
    tests/python/automata.ipynb, tests/python/decompose.ipynb,
    tests/python/gen.ipynb, tests/python/highlighting.ipynb,
    tests/python/product.ipynb, tests/python/randaut.ipynb: Adjust test
    cases.
    1cc45b24
alternating.test 17.5 KB