From 998b1b94ce1289ea92451a86e5f6191c37eaeb5a Mon Sep 17 00:00:00 2001 From: Jonathan Kliem Date: Wed, 24 Jun 2020 21:09:50 +0200 Subject: [PATCH] default random seed 0 for now --- src/sage/doctest/control.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/sage/doctest/control.py b/src/sage/doctest/control.py index 4d6ee2a775b..95e702e63c0 100644 --- 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: