• Lukas Weber's avatar
    save seeds properly · ee5e5b87
    Lukas Weber authored
    up to now seeds were not saved to the dump file. Since the state of the
    RNG was saved properly and the seed is only used in the initialization,
    this likely did not affect the results.
    ee5e5b87
random.h 3.33 KB