1
0
mirror of https://github.com/YosysHQ/nextpnr.git synced 2026-04-28 12:57:13 +00:00

use save seed

This commit is contained in:
Miodrag Milanovic
2019-06-15 15:31:18 +02:00
parent 8d5724f4fd
commit 226885a58f

View File

@@ -154,6 +154,9 @@ po::options_description CommandHandler::getGeneralOptions()
void CommandHandler::setupContext(Context *ctx)
{
if (ctx->settings.find(ctx->id("seed")) != ctx->settings.end())
ctx->rngstate = ctx->setting<uint64_t>("seed");
if (vm.count("verbose")) {
ctx->verbose = true;
}