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 : use XBT_DEBUG instead of XBT_INFO
[simgrid.git]
/
src
/
msg
/
msg_global.c
diff --git
a/src/msg/msg_global.c
b/src/msg/msg_global.c
index
4bd4eb5
..
81abae0
100644
(file)
--- a/
src/msg/msg_global.c
+++ b/
src/msg/msg_global.c
@@
-59,9
+59,9
@@
void MSG_init_nocheck(int *argc, char **argv) {
sg_platf_postparse_add_cb(MSG_post_create_environment);
}
sg_platf_postparse_add_cb(MSG_post_create_environment);
}
- if(MC_
IS_ENABLED
){
+ if(MC_
is_active()
){
/* Ignore total amount of messages sent during the simulation for heap comparison */
/* Ignore total amount of messages sent during the simulation for heap comparison */
- MC_ignore(&(msg_global->sent_msg), sizeof(msg_global->sent_msg));
+ MC_ignore
_heap
(&(msg_global->sent_msg), sizeof(msg_global->sent_msg));
}
#ifdef HAVE_TRACING
}
#ifdef HAVE_TRACING
@@
-119,7
+119,7
@@
msg_error_t MSG_main(void)
fflush(stdout);
fflush(stderr);
fflush(stdout);
fflush(stderr);
- if (MC_
IS_ENABLED) {
+ if (MC_
is_active()) {
MC_do_the_modelcheck_for_real();
} else {
SIMIX_run();
MC_do_the_modelcheck_for_real();
} else {
SIMIX_run();