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 : ignore some local variables from simix in MC_init
[simgrid.git]
/
src
/
simix
/
smx_context_sysv.c
diff --git
a/src/simix/smx_context_sysv.c
b/src/simix/smx_context_sysv.c
index 7bdcfc3f37147872895f491c118bca1336586fb7..90e6b84df34c9b7d896b9e59d6f29021b3037362 100644
(file)
--- a/
src/simix/smx_context_sysv.c
+++ b/
src/simix/smx_context_sysv.c
@@
-10,7
+10,7
@@
#include "xbt/parmap.h"
#include "smx_private.h"
#include "xbt/parmap.h"
#include "smx_private.h"
-#include "
gras
_config.h"
+#include "
internal
_config.h"
#include "context_sysv_config.h" /* loads context system definitions */
#include "mc/mc.h"
#include "context_sysv_config.h" /* loads context system definitions */
#include "mc/mc.h"
@@
-169,7
+169,7
@@
smx_ctx_sysv_create_context_sized(size_t size, xbt_main_func_t code,
}
if(MC_is_active() && code)
}
if(MC_is_active() && code)
- MC_new_stack_area(context, ((smx_process_t)((smx_context_t)context)->data)->name, &(context->uc));
+ MC_new_stack_area(context, ((smx_process_t)((smx_context_t)context)->data)->name, &(context->uc)
, size
);
return (smx_context_t) context;
}
return (smx_context_t) context;
}