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

31 Jan 2022

philipp &lt;philipp(a)lrde.epita.fr&gt; 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.

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

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