Lines Matching defs:random_seed
97 const char kRandomSeedFlag[] = "random_seed";176 random_seed_ = GTEST_FLAG(random_seed);197 GTEST_FLAG(random_seed) = random_seed_;798 int random_seed() const { return random_seed_; }