-
Alexandre Duret-Lutz authored
This prevents an exception from being raised if NNF is not performed on Boolean properties and implication-based checks are used. * NEWS: Mention the issue. * spot/tl/simplify.cc, doc/tl/tl.tex: Add some rules. * tests/python/ltlsimple.py: Test them.
4ce0d928
To find the state of this project's repository at the time of any of these versions, check out the tags.