• 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
To find the state of this project's repository at the time of any of these versions, check out the tags.