Task #5657
closed
A command line option for random seed
Added by Andrei Tatarnikov about 9 years ago.
Updated almost 9 years ago.
Assignee:
Andrei Tatarnikov
Published in build:
150529
Description
Need a possibility to specify random seed (Task #5654) as a command line argument.
- Priority changed from Normal to High
- Subject changed from [generator] A command line option for random seed to A command line option for random seed
- Category set to 61
- Target version set to 2.1
- Target version changed from 2.1 to 2.2
- Status changed from New to Resolved
Andrei, please change the status of resolved tasks.
- Status changed from Resolved to Closed
- Target version changed from 2.2 to 2.3
- % Done changed from 0 to 100
- Published in build set to 150529
Also available in: Atom
PDF