- Remove option 'model-check/record': Paths are recorded in any cases now.
Fixed bugs (GH=GitHub; FG=FramaGit):
- Remove option 'model-check/record': Paths are recorded in any cases now.
Fixed bugs (GH=GitHub; FG=FramaGit):
- FG#10: Can not use MSG_process_set_data from SMPI any more
- FG#11: Auto-restart actors forget their on_exit behavior
- GH#133: Java : a process can run on a VM even if its host is off
- FG#10: Can not use MSG_process_set_data from SMPI any more
- FG#11: Auto-restart actors forget their on_exit behavior
- GH#133: Java : a process can run on a VM even if its host is off