-
Alexandre Duret-Lutz authored
* src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::acss_states): Delete the iterator after using it. * src/tgbatest/emptchkr.test: Run 'randtgba -z' with valgrind too.
79cb3ff5
* src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::acss_states): Delete the iterator after using it. * src/tgbatest/emptchkr.test: Run 'randtgba -z' with valgrind too.