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 : snapshot comparison with the types of variables and cleanup
[simgrid.git]
/
src
/
msg
/
instr_msg_process.c
diff --git
a/src/msg/instr_msg_process.c
b/src/msg/instr_msg_process.c
index
dba5b6b
..
2b1a2a4
100644
(file)
--- a/
src/msg/instr_msg_process.c
+++ b/
src/msg/instr_msg_process.c
@@
-5,7
+5,6
@@
* under the terms of the license (GNU LGPL) which comes with this package. */
#include "msg_private.h"
* under the terms of the license (GNU LGPL) which comes with this package. */
#include "msg_private.h"
-#include "mc/mc.h"
#include "msg/datatypes.h"
#include "simix/smx_process_private.h"
#include "msg/datatypes.h"
#include "simix/smx_process_private.h"
@@
-33,9
+32,6
@@
void TRACE_msg_process_change_host(msg_process_t process, msg_host_t old_host, m
if (TRACE_msg_process_is_enabled()){
static long long int counter = 0;
if (TRACE_msg_process_is_enabled()){
static long long int counter = 0;
- if(MC_is_active())
- MC_ignore_data_bss(&counter, sizeof(counter));
-
char key[INSTR_DEFAULT_STR_SIZE];
snprintf (key, INSTR_DEFAULT_STR_SIZE, "%lld", counter++);
char key[INSTR_DEFAULT_STR_SIZE];
snprintf (key, INSTR_DEFAULT_STR_SIZE, "%lld", counter++);
@@
-66,7
+62,7
@@
void TRACE_msg_process_create (const char *process_name, int process_pid, msg_ho
int len = INSTR_DEFAULT_STR_SIZE;
char str[INSTR_DEFAULT_STR_SIZE];
int len = INSTR_DEFAULT_STR_SIZE;
char str[INSTR_DEFAULT_STR_SIZE];
- container_t host_container = PJ_container_get (SIMIX_host_get_name(host
->smx_host
));
+ container_t host_container = PJ_container_get (SIMIX_host_get_name(host));
PJ_container_new(instr_process_id_2(process_name, process_pid, str, len), INSTR_MSG_PROCESS, host_container);
}
}
PJ_container_new(instr_process_id_2(process_name, process_pid, str, len), INSTR_MSG_PROCESS, host_container);
}
}