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

determinize: do not copy the "incomplete" property

Browse source 
Mentioned in issue #298.

* spot/twaalgos/determinize.cc: Do not copy prop_complete of
the input if it is false.
* NEWS: Mention the bug.
This commit is contained in:
Alexandre Duret-Lutz 2020-12-14 22:55:37 +01:00
parent b073e70880
commit 3dfe0dad24
2 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
NEWS
View file

@ -9,6 +9,10 @@ New in spot 2.9.5.dev (not yet released)
performing an (unnecessary) second iteration even when the first performing an (unnecessary) second iteration even when the first
one failed to reduce the automaton. (Issue #442) one failed to reduce the automaton. (Issue #442)
- When passed an incomplete automaton as input, tgba_determinize()
would sometimes produce a complete automaton but incorrectly mark
it as incomplete.
New in spot 2.9.5 (2020-11-19) New in spot 2.9.5 (2020-11-19)
Bugs fixed: Bugs fixed:

5
spot/twaalgos/determinize.cc
View file

@ -926,9 +926,12 @@ namespace spot
{ false, // state based { false, // state based
false, // inherently_weak false, // inherently_weak
false, false, // deterministic false, false, // deterministic
true, // complete false, // complete
true // stutter inv true // stutter inv
}); });
// completeness can only be improved.
if (aut->prop_complete().is_true())
res->prop_complete(true);
// Given a safra_state get its associated state in output automata. // Given a safra_state get its associated state in output automata.
// Required to create new edges from 2 safra-state // Required to create new edges from 2 safra-state