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

length: slight simplification

Browse source 
* src/ltlvisit/length.cc (length_boolone_visitor): Simplify.
* NEWS: Mention Alexandre's fix.
This commit is contained in:
Alexandre Duret-Lutz 2014-02-03 09:39:23 +01:00
parent 02334867da
commit 494dbe2041
2 changed files with 22 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

3
NEWS
View file

@ -3,6 +3,9 @@ New in spot 1.2.2a (not yet released)
* Bug fixes:
- More fixes for Python 3 compatibility.
- Fix calculation of length_boolone(), were 'Xa|b|c' was
considered as length 6 instead of 4 (because it is 'Xa|(b|a)'
were (b|a) is Boolean).
New in spot 1.2.2 (2014-01-24)