*/
void MSG_init_nocheck(int *argc, char **argv) {
-#ifdef HAVE_TRACING
TRACE_global_init(argc, argv);
-#endif
xbt_getpid = MSG_process_self_PID;
if (!msg_global) {
msg_global->task_copy_callback = NULL;
msg_global->process_data_cleanup = NULL;
- /* initialization of the action module */
- _MSG_action_init();
-
SIMIX_function_register_process_create(MSG_process_create_from_SIMIX);
SIMIX_function_register_process_cleanup(MSG_process_cleanup_from_SIMIX);
MC_ignore_heap(&(msg_global->sent_msg), sizeof(msg_global->sent_msg));
}
-#ifdef HAVE_TRACING
- TRACE_start();
-#endif
-
XBT_DEBUG("ADD MSG LEVELS");
MSG_HOST_LEVEL = xbt_lib_add_level(host_lib, (void_f_pvoid_t) __MSG_host_priv_free);
MSG_STORAGE_LEVEL = xbt_lib_add_level(storage_lib, (void_f_pvoid_t) __MSG_storage_destroy);
fflush(stderr);
if (MC_is_active()) {
- MC_do_the_modelcheck_for_real();
+ MC_run();
} else {
SIMIX_run();
}
if (msg_global==NULL)
return;
-#ifdef HAVE_TRACING
TRACE_surf_resource_utilization_release();
-#endif
-
- /* initialization of the action module */
- _MSG_action_exit();
-
-#ifdef HAVE_TRACING
TRACE_end();
-#endif
-
free(msg_global);
msg_global = NULL;
}