From 88477504b135930a51dad5af1d57194c894c091b Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Tue, 4 Dec 2012 16:30:28 +0100 Subject: [PATCH 1/1] model-checker : ignore simcall result in heap comparison --- src/simix/smx_process.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c index 4ed440f223..fecde40403 100644 --- a/src/simix/smx_process.c +++ b/src/simix/smx_process.c @@ -248,6 +248,10 @@ void SIMIX_process_create(smx_process_t *process, (*process)->data = data; (*process)->comms = xbt_fifo_new(); (*process)->simcall.issuer = *process; + + if(MC_is_active()) + MC_ignore_heap(&((*process)->simcall.result), sizeof((*process)->simcall.result)); + /* Process data for auto-restart */ (*process)->auto_restart = auto_restart; (*process)->code = code; -- 2.20.1