New: RdbgPlugin.t and Event.t now have now some save_state/restore_state functions.
Rationale: a step to make time traveling work correctly.
Showing
- lv6-ref-man/lv6-ref-man.pdf 0 additions, 0 deletionslv6-ref-man/lv6-ref-man.pdf
- src/lv6Run.ml 8 additions, 1 deletionsrc/lv6Run.ml
- src/main.ml 1 addition, 1 deletionsrc/main.ml
- src/socExecDbg.ml 8 additions, 8 deletionssrc/socExecDbg.ml
- test/lus2lic.sum 12 additions, 12 deletionstest/lus2lic.sum
Loading
Please register or sign in to comment