-
Alexandre Duret-Lutz authored
Fixes #164. * spot/twaalgos/stutter.hh, spot/twaalgos/stutter.cc: Implement the determinization, while keeping it optional. * NEWS: Mention the change. * tests/core/ltl2dstar.test, tests/core/stutter-tgba.test: Add test cases. * tests/core/readsave.test: Adjust.
5a2bc9f9