Alexandre Duret-Lutz authored
Issue discovered by Mikuláš Klokočka and reported by František Blahoudek. * spot/twaalgos/translate.cc: Reset the stutter-invariant flag when adding extra transitions for leading Xs. * tests/core/stutter-tgba.test: New test case. * NEWS: Mention the bug.77f3ba94
To find the state of this project's repository at the time of any of these versions, check out the tags.