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
[mc] Fix printf format
[simgrid.git]
/
src
/
mc
/
mc_request.cpp
diff --git
a/src/mc/mc_request.cpp
b/src/mc/mc_request.cpp
index
27d74e3
..
5e03b85
100644
(file)
--- a/
src/mc/mc_request.cpp
+++ b/
src/mc/mc_request.cpp
@@
-395,9
+395,9
@@
char *MC_request_to_string(smx_simcall_t req, int value, e_mc_request_type_t req
} else {
type = "TestAny";
args =
} else {
type = "TestAny";
args =
- bprintf("(%d of %
l
u)", value + 1,
+ bprintf("(%d of %
z
u)", value + 1,
read_length(mc_model_checker->process(),
read_length(mc_model_checker->process(),
-
remote(simcall_comm_testany__get__comms(req)
)));
+
simcall_comm_testany__get__comms(req
)));
}
break;
}
break;