• Alexandre Duret-Lutz's avatar
    translate: reset the LTL simplifier on set_level(). · ce63c30c
    Alexandre Duret-Lutz authored
    Fix an issue reported by Tomáš Babiak, who noticed that he could not
    manage to have ltl2tgba process `genltl --go-theta=N` efficiently for
    larger values of N.
    
    * spot/twaalgos/translate.hh (set_level): Reset any owned LTL simplifier
    whenever the optimization level is changed.
    * NEWS: Mention the bug.
    ce63c30c
To find the state of this project's repository at the time of any of these versions, check out the tags.