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
Merge branch 'coverity_scan' of github.com:mquinson/simgrid
[simgrid.git]
/
src
/
mc
/
mc_smx.cpp
diff --git
a/src/mc/mc_smx.cpp
b/src/mc/mc_smx.cpp
index
0343dae
..
c24b2ac
100644
(file)
--- a/
src/mc/mc_smx.cpp
+++ b/
src/mc/mc_smx.cpp
@@
-176,7
+176,7
@@
mc_smx_process_info_t MC_smx_resolve_process_info(smx_process_t process_remote_a
const char* MC_smx_process_get_host_name(smx_process_t p)
{
if (mc_mode == MC_MODE_CLIENT)
const char* MC_smx_process_get_host_name(smx_process_t p)
{
if (mc_mode == MC_MODE_CLIENT)
- return
SIMIX
_host_get_name(p->host);
+ return
sg
_host_get_name(p->host);
simgrid::mc::Process* process = &mc_model_checker->process();
simgrid::mc::Process* process = &mc_model_checker->process();
@@
-196,7
+196,7
@@
const char* MC_smx_process_get_host_name(smx_process_t p)
~fake_host() {}
};
fake_host foo;
~fake_host() {}
};
fake_host foo;
- const size_t offset = (char*) &foo.host.
getN
ame() - (char*) &foo.host;
+ const size_t offset = (char*) &foo.host.
n
ame() - (char*) &foo.host;
// Read the simgrid::xbt::string in the MCed process:
mc_smx_process_info_t info = MC_smx_process_get_info(p);
// Read the simgrid::xbt::string in the MCed process:
mc_smx_process_info_t info = MC_smx_process_get_info(p);