• erwan's avatar
    Fix: This time, the rdbg time traveling work! · 421bcc4d
    erwan authored
    It was due to the event_incr function in MainArg, that is using a
    reference to count event numbers, and that was not saved and restored
    by LutinRun.
    And this counter was used to set the PRGS! which is actually useless
    as it is handled in LutinRun via save_state/restore_state now.
    It is not clear if my monadisation work was really necessary. In
    theory, it is, but not in the examples I've tried. Sigh.
mainArg.ml 17.1 KB