diff options
| author | rowanG077 <goemansrowan@gmail.com> | 2023-02-16 12:02:00 +0100 |
|---|---|---|
| committer | rowanG077 <goemansrowan@gmail.com> | 2023-02-16 12:02:00 +0100 |
| commit | 32e818204eb73c77e333d1b07efa4db41a4f1183 (patch) | |
| tree | b06ede3cc09db631502367bb96749ac77dc5deb3 /common/kernel | |
| parent | 78dabb7b8f2279090b61447d1ebd04385061fc61 (diff) | |
| download | nextpnr-32e818204eb73c77e333d1b07efa4db41a4f1183.tar.gz nextpnr-32e818204eb73c77e333d1b07efa4db41a4f1183.tar.bz2 nextpnr-32e818204eb73c77e333d1b07efa4db41a4f1183.zip | |
common: Print out generated seed value
Diffstat (limited to 'common/kernel')
| -rw-r--r-- | common/kernel/command.cc | 4 |
1 files changed, 3 insertions, 1 deletions
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")) { |