default random seed 0 for now

sagemath · Jun 24, 2020 · 998b1b9 · 998b1b9
1 parent eedbe5e
commit 998b1b9
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/sage/doctest/control.py b/src/sage/doctest/control.py
@@ -29,7 +29,6 @@
 import re
 import types
 import sage.misc.flatten
-import sage.misc.randstate as randstate
 from sage.structure.sage_object import SageObject
 from sage.env import DOT_SAGE, SAGE_LIB, SAGE_SRC, SAGE_LOCAL, SAGE_EXTCODE
 from sage.misc.temporary_file import tmp_dir
@@ -415,8 +414,7 @@ def __init__(self, options, args):
         self._init_warn_long()
 
         if self.options.random_seed is None:
-            randstate.set_random_seed()
-            self.options.random_seed = randstate.initial_seed()
+            self.options.random_seed = 0
 
     def __del__(self):
         if getattr(self, 'logfile', None) is not None: