diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2019-06-15 15:31:18 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2019-06-15 15:31:18 +0200 |
| commit | 226885a58f67d81fb05e13bde91be8b654479210 (patch) | |
| tree | fb2c42917349460ac27ebb762136cc99765c81ca | |
| parent | 8d5724f4fd8e384ac59b8a94ec6979593239976c (diff) | |
| download | nextpnr-226885a58f67d81fb05e13bde91be8b654479210.tar.gz nextpnr-226885a58f67d81fb05e13bde91be8b654479210.tar.bz2 nextpnr-226885a58f67d81fb05e13bde91be8b654479210.zip | |
use save seed
| -rw-r--r-- | common/command.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/common/command.cc b/common/command.cc index 89e05b4d..09e75fdf 100644 --- a/common/command.cc +++ b/common/command.cc @@ -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; } |