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 : start heap comparison from local variables
[simgrid.git]
/
src
/
instr
/
instr_config.c
diff --git
a/src/instr/instr_config.c
b/src/instr/instr_config.c
index
2483061
..
3737cf7
100644
(file)
--- a/
src/instr/instr_config.c
+++ b/
src/instr/instr_config.c
@@
-103,6
+103,7
@@
int TRACE_start()
created_categories = xbt_dict_new_homogeneous(xbt_free);
declared_marks = xbt_dict_new_homogeneous(xbt_free);
user_host_variables = xbt_dict_new_homogeneous(xbt_free);
created_categories = xbt_dict_new_homogeneous(xbt_free);
declared_marks = xbt_dict_new_homogeneous(xbt_free);
user_host_variables = xbt_dict_new_homogeneous(xbt_free);
+ user_vm_variables = xbt_dict_new_homogeneous (xbt_free);
user_link_variables = xbt_dict_new_homogeneous(xbt_free);
if (TRACE_start_functions != NULL) {
user_link_variables = xbt_dict_new_homogeneous(xbt_free);
if (TRACE_start_functions != NULL) {
@@
-156,6
+157,7
@@
int TRACE_end()
xbt_dict_free(&user_link_variables);
xbt_dict_free(&user_host_variables);
xbt_dict_free(&user_link_variables);
xbt_dict_free(&user_host_variables);
+ xbt_dict_free(&user_vm_variables);
xbt_dict_free(&declared_marks);
xbt_dict_free(&created_categories);
xbt_dict_free(&declared_marks);
xbt_dict_free(&created_categories);
@@
-174,14
+176,13
@@
int TRACE_end()
int TRACE_needs_platform (void)
{
return TRACE_msg_process_is_enabled() ||
int TRACE_needs_platform (void)
{
return TRACE_msg_process_is_enabled() ||
+ TRACE_msg_vm_is_enabled() ||
TRACE_categorized() ||
TRACE_uncategorized() ||
TRACE_categorized() ||
TRACE_uncategorized() ||
- TRACE_msg_vm_is_enabled() ||
TRACE_platform () ||
(TRACE_smpi_is_enabled() && TRACE_smpi_is_grouped());
}
TRACE_platform () ||
(TRACE_smpi_is_enabled() && TRACE_smpi_is_grouped());
}
-
int TRACE_is_enabled(void)
{
return trace_enabled;
int TRACE_is_enabled(void)
{
return trace_enabled;
@@
-356,10
+357,11
@@
void TRACE_global_init(int *argc, char **argv)
"Tracing of MSG process behavior.",
xbt_cfgelm_int, &default_tracing_msg_process, 0, 1,
NULL, NULL);
"Tracing of MSG process behavior.",
xbt_cfgelm_int, &default_tracing_msg_process, 0, 1,
NULL, NULL);
- /* msg vm */
+
+ /* msg process */
int default_tracing_msg_vm = 0;
xbt_cfg_register(&_sg_cfg_set, OPT_TRACING_MSG_VM,
int default_tracing_msg_vm = 0;
xbt_cfg_register(&_sg_cfg_set, OPT_TRACING_MSG_VM,
- "Tracing of MSG
VM
behavior.",
+ "Tracing of MSG
process
behavior.",
xbt_cfgelm_int, &default_tracing_msg_vm, 0, 1,
NULL, NULL);
xbt_cfgelm_int, &default_tracing_msg_vm, 0, 1,
NULL, NULL);