Yechuan Xia <xiaozi465@gmail.com> writes:

>   Hi, I'm building some automatons using spot's python interface.
> Simply, codes like:
>
> for i in n:
>   temp_aut = spot.automaton(aut.to_str()) # copy an automaton
>   ...something
>   del temp_aut
>
> But I found that whenever it enters a new loop, the memory of the
> automaton assigned to temp_aut is not freed. And it leads to a memory
> overflow. 
>
> I thought this might be solved with 'delete temp_aut' in the C++
> version spot, but in the python interface 'del temp' doesn't seem to
> work. 

Using "del temp_aut", or "temp_aut = None" should cause the automaton's
destructor to be called, unless "...something" stores are reference to
that automaton somewhere.


Can you provide a test-case that demonstrates the problem?

I can't reproduce it from your example, trying something like:

for i in range(100):
    newaut = spot.automaton(aut.to_str())
    del newaut
    print(resource.getrusage(resource.RUSAGE_SELF).ru_maxrss)

I see that ru_maxrss is not growing.