-
Alexandre Duret-Lutz authored
Under that option, !(a ^ b) was converted to (!a <=> !b) instead of simply (a <=> b). * spot/tl/simplify.cc (equiv_or_xor): Improve rewriting. * tests/core/ltl2tgba2.test, tests/python/simstate.py: Adjust test cases.
1c5468a9
To find the state of this project's repository at the time of any of these versions, check out the tags.