-
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.
9365f8de
* 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.