Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
small fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
Jonathan Kliem committed Jul 11, 2020
1 parent b31e2d5 commit 2f30dd9
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion src/doc/en/reference/repl/options.rst
Expand Up @@ -134,7 +134,7 @@ Command-line options for Sage
run the lines which are unlabeled or labeled ``#optional`` or labeled
``#optional tag`` for any of the tags given.
- ``--randorder[=seed]`` -- randomize order of tests
- ``--random_seed[=seed]`` -- random seed for fuzzing doctests
- ``--random-seed[=seed]`` -- random seed for fuzzing doctests
- ``--short[=seconds]`` -- run as many doctests as possible in about 300
seconds (or the number of seconds given.) This runs the tests for each
module from the top of the file and skips tests once it exceeds the budget
Expand Down
2 changes: 1 addition & 1 deletion src/sage/doctest/test.py
Expand Up @@ -527,7 +527,7 @@
Test that random tests are reproducible::
sage: subprocess.call(["sage", "-t", "--warn-long", "0", "--random-seed=0", -random_seed.rst"], **kwds) # long time
sage: subprocess.call(["sage", "-t", "--warn-long", "0", "--random-seed=0", "random_seed.rst"], **kwds) # long time
Running doctests...
Doctesting 1 file.
sage -t --warn-long 0.0 --random-seed=0 random_seed.rst
Expand Down

0 comments on commit 2f30dd9

Please sign in to comment.