Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore running context of processes for system state comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 5 Mar 2013 17:05:54 +0000 (18:05 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:30:54 +0000 (18:30 +0100)
src/simix/smx_process.c

index 33d0ad1..4899f91 100644 (file)
@@ -275,6 +275,10 @@ void SIMIX_process_create(smx_process_t *process,
     (*process)->running_ctx = xbt_new(xbt_running_ctx_t, 1);
     XBT_RUNNING_CTX_INITIALIZE((*process)->running_ctx);
 
     (*process)->running_ctx = xbt_new(xbt_running_ctx_t, 1);
     XBT_RUNNING_CTX_INITIALIZE((*process)->running_ctx);
 
+    if(MC_is_active()){
+      MC_ignore_heap((*process)->running_ctx, sizeof(*(*process)->running_ctx));
+    }
+
     /* Add properties */
     (*process)->properties = properties;
 
     /* Add properties */
     (*process)->properties = properties;