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

simulation: remove unnecessary iteration

Browse source 
This fixes #442.

* spot/twaalgos/simulation.cc (iterated_simulations_): Initialize next
so that we can exit after the first iteration if no change was made.
* NEWS: Mention the bug.
This commit is contained in:
Alexandre Duret-Lutz 2020-11-24 16:24:44 +01:00
parent 30b165d821
commit 6fd9717fbb
2 changed files with 8 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
NEWS
View file

@ -5,6 +5,10 @@ New in spot 2.9.5.dev (not yet released)
- twa_graph::merge_edges() could fail to merge two transitions if the
destination transition was the first of the automaton. (Issue #441)
- On non-deterministic automata, iterated_simulations() was
performing an (unnecessary) second iteration even when the first
one failed to reduce the automaton. (Issue #442)
New in spot 2.9.5 (2020-11-19)
Bugs fixed: