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

Merge pull request #1102 from rowanG077/print-random-seed

Browse Source 
common: Print out generated seed value
This commit is contained in:
myrtle 2023-02-16 12:55:28 +01:00 committed by GitHub
commit 2275ff78e2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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")) { if (vm.count("randomize-seed")) {
std::random_device randDev{}; std::random_device randDev{};
std::uniform_int_distribution<int> distrib{1}; 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")) { if (vm.count("slack_redist_iter")) {