28 Jan
2022
28 Jan
'22
9 p.m.
Yechuan Xia <xiaozi465(a)gmail.com> writes:
On my machine, an example like this results in a
leak:
aut = spot.translate(spot.formula('(F(p & X(p & Xh)) & G((!h | Xp) &
(!m | X!p))) | (F(h & X!p) & G((!m | X!p) & (!p | X(!p | X!h))))'))
for i in range(100):
newaut = spot.automaton(aut.to_str())
for i in range(0, 10):
for t in newaut.out(i):
pass
del newaut
print(resource.getrusage(resource.RUSAGE_SELF).ru_maxrss)
Indeed, the out_iteraser method is really a bit inconvenient to use ;
)
The attached example always print the same value for me, so no leak.
Do you see those values increasing?
Can you tell me more about your setup? What version of Spot do
you use ? did you build it yourself (and if so how), or did you use some
precompiled binaries ?