Introduce random-seed option to allow fuzzing of doctests #29962
Description
This is the first step towards #29935.
We introduce an option for doctests: --random-seed.
This allows specifying which seed to use for tests
involving randomness.
The seed is displayed in the test log:
sage -t --long --random-seed=9876543210 src/sage/all.py
...
Doctesting 1 file.
sage -t --long --random-seed=9876543210 src/sage/all.py
[16 tests, 0.73 s]
----------------------------------------------------------------------
All tests passed!
----------------------------------------------------------------------
Total time for all tests: 0.8 seconds
cpu time: 0.7 seconds
cumulative wall time: 0.7 seconds
which makes it easy to re-run tests with the same seed.
The seed defaults to 0 for now:
sage -t --long src/sage/all.py
...
Doctesting 1 file.
sage -t --long --random-seed=0 src/sage/all.py
[16 tests, 0.73 s]
----------------------------------------------------------------------
All tests passed!
----------------------------------------------------------------------
Total time for all tests: 0.8 seconds
cpu time: 0.7 seconds
cumulative wall time: 0.7 seconds
but the plan in #29935 is to eventually have
the random seed itself picked at random by default.
CC: @slel
Component: doctest framework
Keywords: random
Author: Jonathan Kliem
Branch: 1d99129
Reviewer: Markus Wageringel, Matthias Koeppe
Issue created by migration from https://trac.sagemath.org/ticket/29962