scan: fix RandomScan seeding

release-2
Sébastien Bourdeauducq 2017-03-31 17:29:37 +08:00 committed by GitHub
parent e8c5cb55cb
commit 62068da232
1 changed files with 1 additions and 1 deletions

View File

@ -103,7 +103,7 @@ class RandomScan(ScanObject):
if seed is None:
rf = random.random
else:
rf = Random(seed).random
rf = random.Random(seed).random
random.shuffle(self.sequence, rf)
@portable