Searched refs:perform_seed (Results 1 – 1 of 1) sorted by relevance
389 char *perform_seed; in tests_rand_start() local403 perform_seed = getenv ("GMP_CHECK_RANDOMIZE"); in tests_rand_start()404 if (perform_seed != NULL) in tests_rand_start()406 seed = strtoul (perform_seed, NULL, 10); in tests_rand_start()