Searched refs:shuffle_seed_ (Results 1 – 2 of 2) sorted by relevance
548 shuffle_seed_(0), in TestLauncher()931 shuffle_seed_ = custom_seed; in Init()935 shuffle_seed_ = dist(random_dev); in Init()1161 randomizer.seed(shuffle_seed_); in RunTests()1164 fprintf(stdout, "Randomizing with seed %u\n", shuffle_seed_); in RunTests()
246 uint32_t shuffle_seed_; variable