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

Correct an issue in toparity with parity prefix

Browse source 
* spot/twaalgos/toparity.cc: Use a lower value in the parity
prefix vector to avoid the creation of unwanted {0} marks.
This commit is contained in:
Florian Renkin 2020-04-06 14:39:07 +02:00 • committed by Alexandre Duret-Lutz
parent 13ede90210
commit a020607664
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
spot/twaalgos/toparity.cc
View file

@ -1443,7 +1443,8 @@ build_scc(twa_graph_ptr &sub_automaton,
unsigned max_states = -1U) unsigned max_states = -1U)
{ {
std::vector<int> parity_prefix_colors (SPOT_MAX_ACCSETS, -1); std::vector<int> parity_prefix_colors (SPOT_MAX_ACCSETS,
- SPOT_MAX_ACCSETS - 2);
unsigned min_prefix_color = SPOT_MAX_ACCSETS + 1; unsigned min_prefix_color = SPOT_MAX_ACCSETS + 1;
if (options.parity_prefix) if (options.parity_prefix)
{ {