• Alexandre Duret-Lutz's avatar
    Never claim output used to print the degeneralized automaton · 67f46b85
    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