Alexandre Duret-Lutz authored
before some optional operations (like more optimizations, or a product). * src/tgbatest/ltl2tgba.cc (-N, -NN): Make sure we print the last automaton computed, not just the automaton when we degeneralized it. We may have applied other algorithms since the original degeneralization.67f46b85
To find the state of this project's repository at the time of any of these versions, check out the tags.