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

fix python bindings for spot::parsed_formula::f getter

Browse source 
* python/spot/impl.i: Add a typemap.
* tests/python/ltlsimple.py: Add a test case for an issue.
* NEWS: Mention the bug.
This commit is contained in:
Alexandre Duret-Lutz 2018-08-02 23:05:22 +02:00
parent 23722c031f
commit 8a26744720
3 changed files with 21 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
NEWS
View file

@ -63,6 +63,10 @@ New in spot 2.6.0.dev (not yet released)
documentation was also matching the code, so this is a backward
incompatible change.
- The Python binding of the getter of spot::parsed_formula::f was
returning a reference instead of a copy, causing issues if the
reference outlasted the parsed_formula struct.
New in spot 2.6 (2018-07-04)