Searched refs:setRngSeed (Results 1 – 1 of 1) sorted by relevance
9671 auto const setRngSeed = [&]( std::string const& seed ) { in makeCommandLineParser() local9790 | Opt( setRngSeed, "'time'|number" ) in makeCommandLineParser()