msg_global->process_data_cleanup = NULL;
msg_global->vms = xbt_swag_new(xbt_swag_offset(vm,all_vms_hookup));
+ if(MC_IS_ENABLED){
+ /* Ignore total amount of messages sent during the simulation for heap comparison */
+ MC_ignore(&(msg_global->sent_msg), sizeof(msg_global->sent_msg));
+ }
+
/* initialization of the action module */
_MSG_action_init();
fflush(stdout);
fflush(stderr);
- if (MC_IS_ENABLED) {
+ if (MC_IS_ENABLED) {
MC_do_the_modelcheck_for_real();
} else {
SIMIX_run();