Home | History | Annotate | Download | only in tools

Lines Matching refs:RandomSeed

377 def RandomSeed():
566     options.random_seed = RandomSeed()
848             yield ["--random-seed=%d" % RandomSeed()]