-
Alexandre Duret-Lutz authored
* src/tgbaalgos/dotty.cc: Do not output name by default. Display accepting states by default no acceptance set are used. Avoid copying the automaton when possible. * src/tgbatest/dstar.test: Exercise --dot=t.
2e356aed
* src/tgbaalgos/dotty.cc: Do not output name by default. Display accepting states by default no acceptance set are used. Avoid copying the automaton when possible. * src/tgbatest/dstar.test: Exercise --dot=t.