Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    relabel: fix handling of concat and fusion · 179672fe
    Alexandre Duret-Lutz authored 
    * spot/tl/relabel.cc (formula_to_fgraph): Do not assume that n-ary
operators are Boolean operators.
* tests/python/relabel.py: Add a test case found while discussing
some expression with Antoine Martin.
* NEWS: Mention it.
    179672fe
To find the state of this project's repository at the time of any of these versions, check out the tags.