From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 12 Aug 2013 21:26:03 +0000 (+0200)
Subject: model-checker : ignore smpi timer
X-Git-Tag: v3_9_90~128^2~6
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/292285977d176872c30cd7d8f1e81090855cb42a

model-checker : ignore smpi timer
---

diff --git a/src/smpi/smpi_global.c b/src/smpi/smpi_global.c
index 7d47dfb9bb..1c5039687f 100644
--- a/src/smpi/smpi_global.c
+++ b/src/smpi/smpi_global.c
@@ -281,6 +281,8 @@ void smpi_global_init(void)
     process_data[i]->mailbox = simcall_rdv_create(get_mailbox_name(name, i));
     process_data[i]->mailbox_small = simcall_rdv_create(get_mailbox_name_small(name, i));
     process_data[i]->timer = xbt_os_timer_new();
+    if(MC_is_active())
+      MC_ignore_heap(process_data[i]->timer, xbt_os_timer_size());
     group = smpi_group_new(1);
     process_data[i]->comm_self = smpi_comm_new(group);
     process_data[i]->initialized =0;