Searched refs:initialize_randomness (Results 1 – 1 of 1) sorted by relevance
51 void initialize_randomness(mt19937_64& mt64, const int argc, char** const /*argv*/) { in initialize_randomness() function1065 initialize_randomness(mt64, argc, argv); in main()