• 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.
    7d8a5310
To find the state of this project's repository at the time of any of these versions, check out the tags.