The random generator seed is set via the Jobcard option /initRandom/seed. In order to provide a convenient way to add this to the jobcard the argument seed was added to the generate_neutrino_jobcard function.
/initRandom/seed
seed
generate_neutrino_jobcard
Johannes Schumann authored