Alexandre Duret-Lutz authored
* src/tgbaalgos/minimize.cc (init_sets, minimize): Fix memory leaks and a usage of the wrong automaton. * src/tgbatest/wdba.test: Try using -Rm with -R3 or -R3b, and with valgrind. This caught all the bugs fixed above.7d8a5310
To find the state of this project's repository at the time of any of these versions, check out the tags.