diff options
| author | myrtle <gatecat@ds0.me> | 2023-02-16 12:55:28 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-16 12:55:28 +0100 |
| commit | 2275ff78e264fec1dcbba11017d4ab8f70228482 (patch) | |
| tree | e54320cfc548ff7601a30dd74f784af6da8c2d7f | |
| parent | c65762b5c295d5f5a42a11bfda61a6741e4391f9 (diff) | |
| parent | 32e818204eb73c77e333d1b07efa4db41a4f1183 (diff) | |
| download | nextpnr-2275ff78e264fec1dcbba11017d4ab8f70228482.tar.gz nextpnr-2275ff78e264fec1dcbba11017d4ab8f70228482.tar.bz2 nextpnr-2275ff78e264fec1dcbba11017d4ab8f70228482.zip | |
Merge pull request #1102 from rowanG077/print-random-seed
common: Print out generated seed value
| -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")) { |