-
Alexandre Duret-Lutz authored
* spot/twaalgos/relabel.cc: Remove false transitions if some of the propositions are equivalent to true or false. * NEWS: Mention the bug. * tests/core/ltl2tgba2.test: Test it.
443f638b
To find the state of this project's repository at the time of any of these versions, check out the tags.