Searched refs:env_seed (Results 1 – 3 of 3) sorted by relevance
66 const char *env_seed; in main() local73 env_seed = getenv("SEED"); in main()76 else if (env_seed) in main()77 seed = atoi(env_seed); in main()
422 const char * env_seed; in main() local432 env_seed=getenv("SEED"); in main()434 else if(env_seed) in main()436 iseed=atoi(env_seed); in main()445 if(env_used)fprintf(stderr," Random seed set from the environment (SEED=%s).\n", env_seed); in main()
476 const char * env_seed; in main() local486 env_seed=getenv("SEED"); in main()488 else if(env_seed) in main()490 iseed=atoi(env_seed); in main()499 if(env_used)fprintf(stderr," Random seed set from the environment (SEED=%s).\n", env_seed); in main()