From 292285977d176872c30cd7d8f1e81090855cb42a Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Mon, 12 Aug 2013 23:26:03 +0200 Subject: [PATCH] model-checker : ignore smpi timer --- src/smpi/smpi_global.c | 2 ++ 1 file changed, 2 insertions(+) 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; -- 2.20.1