Searched refs:init_seed (Results 1 – 1 of 1) sorted by relevance
57 uint64_t init_seed = 1; in ProfilingSampleDistributionMain() local81 init_seed = static_cast<uint64_t>(strtoll(optarg, &end, 10)); in ProfilingSampleDistributionMain()116 std::default_random_engine seed_engine(init_seed); in ProfilingSampleDistributionMain()