Lines Matching refs:random_seed
233 random_seed=None, use_mp=None, verbose3=False, forever=False,
253 print_slow, and random_seed) allow programmers calling main()
270 if random_seed is None:
271 random_seed = random.randrange(10000000)
295 random_seed = int(a)
442 random.seed(random_seed)
443 print "Using random seed", random_seed
