-
Alexandre Duret-Lutz authored
* spot/twaalgos/dot.cc (print_acceptance_for_human): Add Rabin-like and Streett-like checks. * tests/core/sccdot.test, tests/python/decompose.ipynb, tests/python/randaut.ipynb, tests/core/alternating.test: Adjust.
205294c2