Introduce env var OAI_RNGSEED

can be used to set a random number generator (RNG) seed uniformly from command line
2023-06-28 07:16:00 +02:00
parent 49703eee7b
commit 710bfdbf04
2 changed files with 3 additions and 0 deletions
@@ -55,6 +55,8 @@ void randominit(unsigned long seed_init)
  unsigned long seed = seed_init;
  if (seed_init == 0)
    fill_random(&seed, sizeof(seed));
+  if (getenv("OAI_RNGSEED"))
+    seed = atoi(getenv("OAI_RNGSEED"));
  printf("Initializing random number generator, seed %lu\n", seed);

  // initialize uniformrandom RNG