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();