• Alexandre Duret-Lutz's avatar
    sccinfo: adjust to work with alternating automata · a4ce9994
    Alexandre Duret-Lutz authored
    * spot/twaalgos/sccinfo.cc: Consider universal edges as if they were
    existential edges.
    * spot/twaalgos/sccinfo.hh: Document that.
    * spot/twaalgos/dot.cc: Allow option 's' again, for easy testing.
    * tests/core/alternating.test: Adjust tests.
    * tests/python/_altscc.ipynb: New file (more tests).
    * tests/Makefile.am: Add it.
    a4ce9994
Makefile.am 10.7 KB