Read from file the random seed (positive integer) for the random number generator.
mc_readrandomseed file
Usually a random seed is determined from current time plus process id. This option is useful to re-run a simulation for debugging.





Arve Kylling 2010-03-10