scripts: add random seed to emu runs (#925)

OpenXiangShan · Aug 19, 2021 · 59bcbb5 · 59bcbb5
1 parent a4a566a
commit 59bcbb5
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/scripts/xiangshan.py b/scripts/xiangshan.py
@@ -16,10 +16,11 @@
 
 # Simple version of xiangshan python wrapper
 
-import os
 import argparse
-import sys
+import os
+import random
 import subprocess
+import sys
 
 
 class XSArgs(object):
@@ -53,6 +54,7 @@ def __init__(self, args):
         self.config = args.config
         # emu arguments
         self.max_instr = args.max_instr
+        self.seed = random.randint(0, 9999)
         self.numa = args.numa
 
     def get_env_variables(self):
@@ -86,7 +88,8 @@ def get_makefile_args(self):
 
     def get_emu_args(self):
         emu_args = [
-            (self.max_instr, "max-instr")
+            (self.max_instr, "max-instr"),
+            (self.seed,      "seed")
         ]
         args = filter(lambda arg: arg[0] is not None, emu_args)
         return args