Searched refs:random_fromfile (Results 1 – 1 of 1) sorted by relevance
956 random_fromfile(const char *filename) in random_fromfile() function1027 b = random_fromfile(random_source); in set_random_seed()