+
+ xbt_dynar_foreach(vm->processes, cpt, process) {
+ xbt_dynar_push_as(process_list, msg_process_t, process);
+ }
+
+ xbt_dynar_foreach(process_list, cpt, process) {
+ msg_process_t new_process = MSG_process_restart(process);
+ MSG_vm_bind(vm, new_process);
+ }
+
+ xbt_dynar_free(&process_list);
+}
+
+/** @brief Destroy a msg_vm_t.
+ * @ingroup msg_VMs
+ */
+void MSG_vm_destroy(msg_vm_t vm) {
+ unsigned int cpt;
+ msg_process_t process;