-/* Copyright (c) 2004-2014. The SimGrid Team.
+/* Copyright (c) 2004-2015. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
*/
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) {
}
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);
MSG_FILE_LEVEL = xbt_lib_add_level(file_lib, (void_f_pvoid_t) __MSG_file_destroy);
if(sg_cfg_get_boolean("clean_atexit")) atexit(MSG_exit);
fflush(stderr);
if (MC_is_active()) {
- MC_do_the_modelcheck_for_real();
+ MC_run();
} else {
SIMIX_run();
}
* Do --help on any simgrid binary to see the list of currently existing configuration variables, and see Section @ref options.
*
* Example:
- * MSG_config("workstation/model","ptask_L07");
+ * MSG_config("host/model","ptask_L07");
*/
void MSG_config(const char *key, const char *value){
xbt_assert(msg_global,"ERROR: Please call MSG_init() before using MSG_config()");
if (msg_global==NULL)
return;
-#ifdef HAVE_TRACING
TRACE_surf_resource_utilization_release();
TRACE_end();
-#endif
-
free(msg_global);
msg_global = NULL;
}