Random shuffle deprecated

[NAThompson]

On clang 6, on this build, we have

In file included from ../../../libs/test/src/framework.cpp:16:

../../../boost/test/impl/framework.ipp:784:30: warning: 'random_shuffle<std::__1::__wrap_iter<unsigned long *>, const boost::unit_test::framework::state::random_generator_helper &>' is deprecated [-Wdeprecated-declarations]

                        std::random_shuffle( children_with_the_same_rank.begin(), children_with_the_same_rank.end(), rand_gen );

                             ^

/Applications/Xcode-11.0.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/algorithm:3003:1: note: 'random_shuffle<std::__1::__wrap_iter<unsigned long *>, const boost::unit_test::framework::state::random_generator_helper &>' has been explicitly marked deprecated here

_LIBCPP_DEPRECATED_IN_CXX14 void

Low priority, obviously.

[raffienficiaud]

Thanks for the report!
Removing completely the call to std::random_shuffle in favour of the drop-in (and required) replacement. Testing now.

[raffienficiaud]

In master, closing.