85,87d84
< parser.add_option("--random_seed", type="int", default=1234,
< help="Used for seeding the random number generator")
<
239d235
< ruby.random_seed = options.random_seed