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
cosmetics: this is an ID, not a ptr
[simgrid.git]
/
src
/
mc
/
transition
/
TransitionSynchro.cpp
diff --git
a/src/mc/transition/TransitionSynchro.cpp
b/src/mc/transition/TransitionSynchro.cpp
index
5e7ded2
..
db97fb8
100644
(file)
--- a/
src/mc/transition/TransitionSynchro.cpp
+++ b/
src/mc/transition/TransitionSynchro.cpp
@@
-109,9
+109,9
@@
bool MutexTransition::depends(const Transition* o) const
std::string SemaphoreTransition::to_string(bool verbose) const
{
if (type_ == Type::SEM_ASYNC_LOCK || type_ == Type::SEM_UNLOCK)
std::string SemaphoreTransition::to_string(bool verbose) const
{
if (type_ == Type::SEM_ASYNC_LOCK || type_ == Type::SEM_UNLOCK)
- return xbt::string_printf("%s(semaphore: %
" PRIxPTR "
)", Transition::to_c_str(type_), sem_);
+ return xbt::string_printf("%s(semaphore: %
u
)", Transition::to_c_str(type_), sem_);
if (type_ == Type::SEM_WAIT)
if (type_ == Type::SEM_WAIT)
- return xbt::string_printf("%s(semaphore: %
" PRIxPTR "
, granted: %s)", Transition::to_c_str(type_), sem_,
+ return xbt::string_printf("%s(semaphore: %
u
, granted: %s)", Transition::to_c_str(type_), sem_,
granted_ ? "yes" : "no");
THROW_IMPOSSIBLE;
}
granted_ ? "yes" : "no");
THROW_IMPOSSIBLE;
}