HomeSort by relevance Sort by last modified time
    Searched defs:rngSeed (Results 1 - 5 of 5) sorted by null

  /external/catch2/include/internal/
catch_random_number_generator.cpp 20 if( config.rngSeed() != 0 ) {
21 std::srand( config.rngSeed() );
22 rng().seed( config.rngSeed() );
26 unsigned int rngSeed() {
27 return getCurrentContext().getConfig()->rngSeed();
catch_config.cpp 59 unsigned int Config::rngSeed() const { return m_data.rngSeed; }
catch_config.hpp 44 unsigned int rngSeed = 0;
102 unsigned int rngSeed() const override;
  /art/tools/dexfuzz/src/dexfuzz/
Options.java 43 public static long rngSeed = -1;
239 rngSeed = Long.parseLong(value);
  /art/tools/dexfuzz/src/dexfuzz/program/
Program.java 88 public long rngSeed;
162 rng.setSeed(Options.rngSeed);
163 rngSeed = Options.rngSeed;
168 rngSeed = seed;

Completed in 618 milliseconds