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

fix eventual/universal properties for ->/<->/xor

Browse source 
* spot/tl/formula.cc: Correctly set eventual and universal properties
for ->, <->, and xor.  This wasn't really relevant before, but there
are now situation where those are not rewritten.
* tests/core/kind.test: Adjust expected output.
* tests/core/ltl2tgba2.test: New test case, reported by Florian
Renkin.
* NEWS: Mention the bug.
This commit is contained in:
Alexandre Duret-Lutz 2021-02-03 12:20:42 +01:00
parent b6c4145599
commit 244e3a9731
4 changed files with 24 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

3
NEWS
View file

@ -2,6 +2,9 @@ New in spot 2.9.6.dev (not yet released)
Nothing yet.
- Some formulas using ->, <->, or xor were not properly detected as
purely universal or pure eventualities.
New in spot 2.9.6 (2021-01-18)
Build: