-
Erwan Jahier authored
Make sure everything is reproductible during time traveling, or when starting back from any stored event, by reseting the random seed using the event number each time the event number changes. Add time travelling support (à la appel/Tolmach) in Ldbg_utils.
6b8c3cbb