model-checker : ignore simcall result in heap comparison

diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c
index 4ed440f..fecde40 100644 (file)
--- 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;
     (*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;
     /* Process data for auto-restart */
     (*process)->auto_restart = auto_restart;
     (*process)->code = code;