-
Alexandre Duret-Lutz authored
* spot/twaalgos/relabel.cc: Detect false edges as they are created, even as the result of multiple renamings. * tests/core/ltl2tgba2.test: More test cases, reported by Jens Kreber. * NEWS: Mention the bug. * THANKS: Add Jens.
67fa19cb