Skip to content
Find file Blame History Permalink
  • 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.