Changes between Initial Version and Version 5 of Ticket #29962


Ignore:
Timestamp:
06/24/20 19:59:29 (19 months ago)
Author:
gh-kliem
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #29962

    • Property Status changed from new to needs_review
    • Property Commit changed from to 1d7b00e3fc2ebc1dc9982a2df91d15e3f12e9432
    • Property Branch changed from to public/29962
  • Ticket #29962 – Description

    initial v5  
    1 We introduce an option for doctests `--random_seed` that defaults to `0` for now:
     1We introduce an option for doctests `--random-seed` that defaults to `0` for now:
    22
    33{{{
     
    55...
    66Doctesting 1 file.
    7 sage -t --long --random_seed=0 src/sage/all.py
     7sage -t --long --random-seed=0 src/sage/all.py
    88    [16 tests, 0.73 s]
    99----------------------------------------------------------------------