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

simulation: incorrect setting of non-deterministic property

Browse source 
Fixes #286.

* spot/twaalgos/simulation.cc: Only set the deterministic
property, not the non-deterministic one.
* tests/core/ltl2tgba.test: Add test case.
* NEWS: Mention the issue.
This commit is contained in:
Alexandre Duret-Lutz 2017-09-28 20:38:13 +02:00
parent 7987d71ae8
commit 7e394506b6
3 changed files with 15 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
NEWS
View file

@ -21,6 +21,9 @@ New in spot 2.4.0.dev (not yet released)
still correct outputs) depending on the BDD operations performed
before.
- spot::simulation() would occasionally incorrectly flag an
automaton as non-deterministic.
New in spot 2.4 (2017-09-06)
Build: