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

core: random_shuffle is deprecated and not portable

Browse source 
* tests/core/parity.cc: Here.
This commit is contained in:
Etienne Renault 2019-10-17 16:45:25 +02:00
parent 70b72b87ce
commit 896925ae1c
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tests/core/parity.cc
View file

@ -127,7 +127,7 @@ generate_aut(const spot::bdd_dict_ptr& current_bdd)
for (auto& t: LAST_AUT->edges())
{
auto nb_acc = std::rand() % (num_sets - min + 1) + min;
std::random_shuffle(cont_sets[num_sets].begin(),
spot::mrandom_shuffle(cont_sets[num_sets].begin(),
cont_sets[num_sets].end());
for (auto j = 0; j < nb_acc; ++j)
SET_TR(t, cont_sets[num_sets][j]);
@ -141,7 +141,7 @@ generate_aut(const spot::bdd_dict_ptr& current_bdd)
for (auto& t: LAST_AUT->edges())
{
auto nb_acc = std::rand() % (num_sets - min + 1) + min;
std::random_shuffle(cont_sets[num_sets].begin(),
spot::mrandom_shuffle(cont_sets[num_sets].begin(),
cont_sets[num_sets].end());
for (auto j = 0; j < nb_acc; ++j)
{