Searched refs:the_seed (Results 1 – 3 of 3) sorted by relevance
19 RandomGenerator::ResultType the_seed; variable39 set_seed(is_seed_set ? the_seed : get_nondet_seed()); in RandomGenerator()56 the_seed = seed; in set_global_seed()58 i->set_seed(the_seed); in set_global_seed()65 i->set_seed(the_seed); in set_global_seed_last()
530 time_t the_seed; member533 the_seed( seed_in ) in plant_seed()535 random_parameter_generator.seed( static_cast<boost::uint32_t>( the_seed ) ); in plant_seed()536 ::testing::Test::RecordProperty("parameter_seed", static_cast<unsigned int>(the_seed)); in plant_seed()537 std::cout << "Random test's seed is " << the_seed << std::endl; in plant_seed()
159 Game::start(uint32_t the_seed, bool solvable) in start() argument166 assign_solvable(the_seed); in start()168 assign(the_seed); in start()