-
Alexandre Duret-Lutz authored
* src/tgbaalgos/dotty.cc: Here. * src/tgbaalgos/sbacc.cc: Make the produced automata as state-based. * src/tgbatest/readsave.test: Add a test.
ead2ca01
* src/tgbaalgos/dotty.cc: Here. * src/tgbaalgos/sbacc.cc: Make the produced automata as state-based. * src/tgbatest/readsave.test: Add a test.