• Alexandre Duret-Lutz's avatar
    translate: fix stutter-invariant flag on leading Xs · 77f3ba94
    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
stutter-tgba.test 3.87 KB