-
Alexandre Duret-Lutz authored
Fixes #293. * spot/tl/simplify.cc: Test implications that would yield tt or ff first. In rules of the form "if a => b, a op b = b" also check if b => a, and in this case return smallest(a,b). * tests/core/reduccmp.test: Add a test. * NEWS: Mention it.
42452ba4
To find the state of this project's repository at the time of any of these versions, check out the tags.