relabel: fix handling of concat and fusion (!68) · Merge requests · Spot / Spot · GitLab

Alexandre Duret-Lutz requested to merge adl/relabel into next Oct 13, 2022

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.