diff options
Diffstat (limited to 'common')
| -rw-r--r-- | common/command.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/common/command.cc b/common/command.cc index 43707c83..4822585c 100644 --- a/common/command.cc +++ b/common/command.cc @@ -229,6 +229,10 @@ void CommandHandler::setupContext(Context *ctx) ctx->timing_driven = true; if (vm.count("no-tmdriv")) ctx->timing_driven = false; + + settings->set("arch.name", std::string(ctx->archId().c_str(ctx))); + settings->set("arch.type", std::string(ctx->archArgsToId(ctx->archArgs()).c_str(ctx))); + settings->set("seed", ctx->rngstate); } int CommandHandler::executeMain(std::unique_ptr<Context> ctx) |