[Spot] Re: How to free the memory of an automaton in spot's Python API?

Alexandre Duret-Lutz <adl@lrde.epita.fr> writes:

I'm looking into it.

The following patch seems to fix it: https://gitlab.lrde.epita.fr/spot/spot/-/commit/a8cfcd2cc272166427dfdf90e256... (You need to have Swig installed if you want to try this patch.) I'll try to release 2.10.4 this week, even if that's the only fix. I can't believe we never noticed this leak before...