s_msg_vm_t vm; // to compute the offset
SIMIX_global_init(argc, argv);
-
- if(MC_IS_ENABLED && mmalloc_ignore == NULL)
- MC_ignore_init();
msg_global = xbt_new0(s_MSG_Global_t, 1);
sg_platf_postparse_add_cb(MSG_post_create_environment);
}
- if(MC_IS_ENABLED){
+ if(MC_is_active()){
/* Ignore total amount of messages sent during the simulation for heap comparison */
- MC_ignore(&(msg_global->sent_msg), sizeof(msg_global->sent_msg));
+ MC_ignore_heap(&(msg_global->sent_msg), sizeof(msg_global->sent_msg));
}
#ifdef HAVE_TRACING
fflush(stdout);
fflush(stderr);
- if (MC_IS_ENABLED) {
+ if (MC_is_active()) {
MC_do_the_modelcheck_for_real();
} else {
SIMIX_run();
}
-/** \ingroup msg_simulation
- * \brief Clean the MSG simulation.
- *
- * This function is called automatically when the system process stops, so I guess that calling it manually is useless nowadays.
- */
static void MSG_exit(void) {
if (msg_global==NULL)
return;
- XBT_DEBUG("Closing MSG");
#ifdef HAVE_TRACING
TRACE_surf_release();
#endif
- MSG_process_killall(0);
-
/* initialization of the action module */
_MSG_action_exit();