alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

python: fix a memory leak in all added __iter__ methods

Browse source 
Reported by Yechuan Xia

* python/spot/impl.i: Add %newobject to all __iter__ methods.
* NEWS: Mention the list of affected methods.
* THANKS: Update.
This commit is contained in:
Alexandre Duret-Lutz 2022-01-31 10:08:47 +01:00
parent dac3d78244
commit a8cfcd2cc2
3 changed files with 18 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
NEWS
View file

@ -30,6 +30,14 @@ New in spot 2.10.3.dev (not yet released)
alphabet, in applications where using atomic propositions is
inconvenient.
Bugs fixed:
- Fix memory leaks in Python bindings for several iteration objects.
This occured while itering on twa_graph.out(), twa_graph.edges(),
twa_graph.univ_dests(), kripke_graph.out(), kripke_graph.edges(),
mark_t.sets(), scc_info.edges_of(), scc_info.inner_edges_of(), and
on an scc_info instance.
New in spot 2.10.3 (2022-01-15)
Bugs fixed: