From 32e818204eb73c77e333d1b07efa4db41a4f1183 Mon Sep 17 00:00:00 2001
From: rowanG077 <goemansrowan@gmail.com>
Date: Thu, 16 Feb 2023 12:02:00 +0100
Subject: common: Print out generated seed value

---
 common/kernel/command.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/common/kernel/command.cc b/common/kernel/command.cc
index 2fb4ee53..5f40ffab 100644
--- a/common/kernel/command.cc
+++ b/common/kernel/command.cc
@@ -263,7 +263,9 @@ void CommandHandler::setupContext(Context *ctx)
     if (vm.count("randomize-seed")) {
         std::random_device randDev{};
         std::uniform_int_distribution<int> distrib{1};
-        ctx->rngseed(distrib(randDev));
+        auto seed = distrib(randDev);
+        ctx->rngseed(seed);
+        log_info("Generated random seed: %d\n", seed);
     }
 
     if (vm.count("slack_redist_iter")) {
-- 
cgit v1.2.3