cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[yul-phaser] main: Add --seed option

Browse Source
This commit is contained in:
Kamil Śliwak 2020-02-12 11:49:09 +01:00
parent f29d3655f7
commit 2f67302ffc
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
tools/yulPhaser/main.cpp
View File

@ -18,6 +18,7 @@
#include <tools/yulPhaser/Exceptions.h>
#include <tools/yulPhaser/Population.h>
#include <tools/yulPhaser/Program.h>
#include <tools/yulPhaser/SimulationRNG.h>
#include <libsolutil/Assertions.h>
#include <libsolutil/CommonIO.h>
@ -45,6 +46,19 @@ struct CommandLineParsingResult
po::variables_map arguments;
};
void initializeRNG(po::variables_map const& arguments)
{
uint32_t seed;
if (arguments.count("seed") > 0)
seed = arguments["seed"].as<uint32_t>();
else
seed = SimulationRNG::generateSeed();
SimulationRNG::reset(seed);
cout << "Random seed: " << seed << endl;
}
CharStream loadSource(string const& _sourcePath)
{
assertThrow(boost::filesystem::exists(_sourcePath), InvalidProgram, "Source file does not exist");
@ -79,6 +93,7 @@ CommandLineParsingResult parseCommandLine(int argc, char** argv)
description.add_options()
("help", "Show help message and exit.")
("input-file", po::value<string>()->required(), "Input file")
("seed", po::value<uint32_t>(), "Seed for the random number generator")
;
po::positional_options_description positionalDescription;
@ -121,6 +136,8 @@ int main(int argc, char** argv)
if (parsingResult.exitCode != 0)
return parsingResult.exitCode;
initializeRNG(parsingResult.arguments);
try
{
runAlgorithm(parsingResult.arguments["input-file"].as<string>());