• Alexandre Duret-Lutz's avatar
    simplify: add missing recursion · fbdd1465
    Alexandre Duret-Lutz authored
    "1 U (a | Fb)" was not always reduced to "F(a | b)".
    Fixes #143.
    * spot/tl/simplify.cc: Add the missing recurse() call.
    * tests/core/reduc0.test: Add a test.
    * NEWS: Mention the bug.
To find the state of this project's repository at the time of any of these versions, check out the tags.