Searched refs:env_seed (Results 1 – 3 of 3) sorted by relevance
67 const char *env_seed; in main() local74 env_seed = getenv("SEED"); in main()77 else if (env_seed) in main()78 seed = atoi(env_seed); in main()
429 const char * env_seed; in main() local439 env_seed=getenv("SEED"); in main()441 else if(env_seed) in main()443 iseed=atoi(env_seed); in main()452 if(env_used)fprintf(stderr," Random seed set from the environment (SEED=%s).\n", env_seed); in main()
640 const char * env_seed; in main() local646 env_seed=getenv("SEED"); in main()651 else if(env_seed) { in main()652 iseed=atoi(env_seed); in main()682 if(env_used)fprintf(stderr," Random seed set from the environment (SEED=%s).\n", env_seed); in main()