caiyu/nextpnr
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

common: Print out generated seed value

Browse Source
This commit is contained in:
rowanG077 2023-02-16 12:02:00 +01:00
parent 78dabb7b8f
commit 32e818204e
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
common/kernel/command.cc
View File

@ -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")) {