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

philipp <philipp@lrde.epita.fr> writes:

I pumped the loop in foo.py from 100 to 10000 and the used ressource climbs steadily from ~30k to 60k.

Yes! With this change I can see it too. I'm looking into it.