-
Alexandre Duret-Lutz authored
if a transition with the same label already exist, reuse it * src/tgbaalgos/stutter.cc: Here. * src/tgbatest/stutter.test: Add a test case.
a18327d4
if a transition with the same label already exist, reuse it * src/tgbaalgos/stutter.cc: Here. * src/tgbatest/stutter.test: Add a test case.