update SeedRandom tests