-
Alexandre Duret-Lutz authored
For issue #566. * spot/twaalgos/powerset.cc: Use the edge_separator on automata with |AP|>5 that have few distinct labels. * tests/core/566.test: Augment test-case. * NEWS: Update.
For issue #566. * spot/twaalgos/powerset.cc: Use the edge_separator on automata with |AP|>5 that have few distinct labels. * tests/core/566.test: Augment test-case. * NEWS: Update.