diff options
| author | David Shah <davey1576@gmail.com> | 2018-11-20 10:11:09 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-20 10:11:09 +0000 |
| commit | 04c5ed45bb6d21f88a8faa29600f53e13d6b3f0d (patch) | |
| tree | 1255484538f60d7caf8367eb56407b970072d3f1 /common | |
| parent | 1851ebb1c6b9edc2d8396494864fa7fa3b833c9d (diff) | |
| parent | e167043e73ca8ce0e347be6cac4ee3f3c6024b57 (diff) | |
| download | nextpnr-04c5ed45bb6d21f88a8faa29600f53e13d6b3f0d.tar.gz nextpnr-04c5ed45bb6d21f88a8faa29600f53e13d6b3f0d.tar.bz2 nextpnr-04c5ed45bb6d21f88a8faa29600f53e13d6b3f0d.zip | |
Merge pull request #132 from maikmerten/master
add "randomize-seed" command-line option
Diffstat (limited to 'common')
| -rw-r--r-- | common/command.cc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/common/command.cc b/common/command.cc index c5c777e8..5070bf9c 100644 --- a/common/command.cc +++ b/common/command.cc @@ -102,6 +102,7 @@ po::options_description CommandHandler::getGeneralOptions() #endif general.add_options()("json", po::value<std::string>(), "JSON design file to ingest"); general.add_options()("seed", po::value<int>(), "seed value for random number generator"); + general.add_options()("randomize-seed,r", "randomize seed value for random number generator"); general.add_options()("slack_redist_iter", po::value<int>(), "number of iterations between slack redistribution"); general.add_options()("cstrweight", po::value<float>(), "placer weighting for relative constraint satisfaction"); general.add_options()("pack-only", "pack design only without placement or routing"); @@ -138,6 +139,15 @@ void CommandHandler::setupContext(Context *ctx) ctx->rngseed(vm["seed"].as<int>()); } + if (vm.count("randomize-seed")) { + srand(time(NULL)); + int r; + do { + r = rand(); + } while(r == 0); + ctx->rngseed(r); + } + if (vm.count("slack_redist_iter")) { ctx->slack_redist_iter = vm["slack_redist_iter"].as<int>(); if (vm.count("freq") && vm["freq"].as<double>() == 0) { |