Skip to content

Random: add seed parameter

Loic Hausammann requested to merge random_seed into master

Add a parameter (at configuration) that modifies the random number generated.

I am simply shifting the ID (and/or timeinteger) by a constant number.

Should I add a warning when this shift is non zero?

You can compile the code with the following way: ./configure --with-random-shift-time=12 --with-random-shift-id=122

Edited by Loic Hausammann

Merge request reports