Lines Matching full:seed
36 --randseed -- pass a random seed to reproduce a previous random run65 int seed value for the randomizer; this is useful for reproducing troublesome442 random.seed(random_seed)443 print "Using random seed", random_seed
