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

remprop: reset no-terminal property

Browse source 
Reported by Yong Li.

* spot/twaalgos/remprop.cc: Here.
* tests/python/removeap.py: New test case.
* tests/Makefile.am: Add it.
* NEWS: Document the issue.
* THANKS: Add Yong Li.
This commit is contained in:
Alexandre Duret-Lutz 2019-06-02 09:00:08 +02:00
parent 65e8d16f57
commit 7d6bfe545f
5 changed files with 44 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
NEWS
View file

@ -14,6 +14,10 @@ New in spot 2.7.4.dev (not yet released)
C++ code for translating certains formulas to be noticeably slower
than the equivalent call to the ltl2tgba binary.
- The remove_ap algorithm was preserving the "terminal property" of
automata, but it is possible that a non-terminal input produces a
terminal output after some propositions are removed.
New in spot 2.7.4 (2019-04-27)
Bugs fixed: