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