-
Alexandre Duret-Lutz authored
* src/twa/twa.hh: Support this new property. * src/twaalgos/stutter.cc: Set it if needed. * src/twaalgos/hoa.cc: Output it. * src/tests/stutter-tgba.test: More tests.
6bc2fa24
* src/twa/twa.hh: Support this new property. * src/twaalgos/stutter.cc: Set it if needed. * src/twaalgos/hoa.cc: Output it. * src/tests/stutter-tgba.test: More tests.