[Cuis-dev] Random double initialization

[Luciano Notarfrancesco]

If you create a new random generator with 'Random seed: 1234' it first
creates an instance and initializes it with a seed derived from the clock,
and then initializes it again with the provided seed.

This changeset changes the way random generators are instantiated so that
initialization happens in only one place and only once.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20210330/2c6e8507/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 4552-RandomDoubleInitializationFix-LucianoEstebanNotarfrancesco-2021Mar30-06h22m-len.001.cs.st
Type: application/octet-stream
Size: 1744 bytes
Desc: not available
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20210330/2c6e8507/attachment.obj>