-
Alexandre Duret-Lutz authored
* bin/autfilt.cc: Determinize automata before complementation if needed. * tests/core/complement.test: Adjust. * NEWS: Mention the new feature.
9799a645
* bin/autfilt.cc: Determinize automata before complementation if needed. * tests/core/complement.test: Adjust. * NEWS: Mention the new feature.