Changes between Version 5 and Version 22 of Ticket #29962


Ignore:
Timestamp:
04/29/21 22:04:49 (9 months ago)
Author:
slelievre
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #29962

    • Property Status changed from needs_review to closed
    • Property Branch changed from public/29962 to 1d99129f26f4a065f9f9e5e13c3d5120a029e89f
    • Property Reviewers changed from to Markus Wageringel, Matthias Koeppe
    • Property Commit changed from 1d7b00e3fc2ebc1dc9982a2df91d15e3f12e9432 to
    • Property Resolution changed from to fixed
  • Ticket #29962 – Description

    v5 v22  
    1 We introduce an option for doctests `--random-seed` that defaults to `0` for now:
     1Part of #29935.
     2
     3We introduce an option for doctests: `--random-seed`,
     4that defaults to `0` for now:
    25
    36{{{
     
    1518}}}
    1619
    17 This allows specifying, which random seed shall be used for the doctests.
     20This allows specifying which random seed to use for the doctests.