Commit fdbdb1a4 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

Fix a memory leak on failure to WDBA-minimize.

* src/tgbaalgos/minimize.cc (minimize_obligation): Delete the powerset
automaton when we return 0 because we know if the result is correct
and don't have the formulae to check it.  Reported by Étienne Renault.
parent fddfafcd
......@@ -638,6 +638,7 @@ namespace spot
if (!f && !aut_neg_f)
{
// We do not now if the minimization is safe.
delete min_aut_f;
return 0;
}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment