Skip to content
Find file Blame History Permalink
  • 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.