Merge pull request #862 from DX-MON/master

common: Improved the random seed initialisation for the context
YosysHQ · Nov 19, 2021 · f5cc959 · f5cc959
2 parents b7207b0 + b3edf81
commit f5cc959
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/common/command.cc b/common/command.cc
@@ -33,6 +33,7 @@
 #include <boost/program_options.hpp>
 #include <fstream>
 #include <iostream>
+#include <random>
 #include "command.h"
 #include "design_utils.h"
 #include "json_frontend.h"
@@ -223,12 +224,9 @@ void CommandHandler::setupContext(Context *ctx)
     }
 
     if (vm.count("randomize-seed")) {
-        srand(time(NULL));
-        int r;
-        do {
-            r = rand();
-        } while (r == 0);
-        ctx->rngseed(r);
+        std::random_device randDev{};
+        std::uniform_int_distribution<int> distrib{1};
+        ctx->rngseed(distrib(randDev));
     }
 
     if (vm.count("slack_redist_iter")) {