Searched refs:seed_string (Results 1 – 1 of 1) sorted by relevance
121 char *seed_string; in tests_rand_start() local134 seed_string = getenv ("GMP_CHECK_RANDOMIZE"); in tests_rand_start()135 if (seed_string != NULL) in tests_rand_start()137 if (strcmp (seed_string, "0") != 0 && in tests_rand_start()138 strcmp (seed_string, "1") != 0) in tests_rand_start()141 mpz_init_set_str (seed, seed_string, 0); in tests_rand_start()