how to generate a random number as a initial condition. -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://lists.dune-project.org/pipermail/dune/attachments/20200817/5243c3b3/attachment.htm>