Searched refs:random_seed (Results 1 – 1 of 1) sorted by relevance
118 static unsigned short random_seed[3]; variable585 double frac = erand48(random_seed); in determine_before_after()616 random_seed[0] = seed & 0xffff; in set_seed()617 random_seed[1] = (seed >> 16); in set_seed()618 random_seed[2] = (random_seed[0] ^ random_seed[1]); in set_seed()