• Alexandre Duret-Lutz's avatar
    Fix bugs in minimize(). · 7d8a5310
    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.
To find the state of this project's repository at the time of any of these versions, check out the tags.