A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model-checker : New public functions to take a snapshot and compare two snapshots...
[simgrid.git]
/
src
/
simix
/
smx_context_base.c
diff --git
a/src/simix/smx_context_base.c
b/src/simix/smx_context_base.c
index
d7f1a79
..
1f3161b
100644
(file)
--- a/
src/simix/smx_context_base.c
+++ b/
src/simix/smx_context_base.c
@@
-48,7
+48,7
@@
smx_ctx_base_factory_create_context_sized(size_t size,
smx_context_t context = xbt_malloc0(size);
/* Store the address of the stack in heap to compare it apart of heap comparison */
smx_context_t context = xbt_malloc0(size);
/* Store the address of the stack in heap to compare it apart of heap comparison */
- if(MC_
IS_ENABLED)
+ if(MC_
is_active())
MC_ignore(context, size);
/* If the user provided a function for the process then use it.
MC_ignore(context, size);
/* If the user provided a function for the process then use it.
@@
-64,9
+64,6
@@
smx_ctx_base_factory_create_context_sized(size_t size,
}
context->data = data;
}
context->data = data;
- if(MC_IS_ENABLED)
- MC_new_stack_area(context, ((smx_process_t)context->data)->name);
-
return context;
}
return context;
}