Merge branch 'fix-wakeup-tree-iterator' into 'master'

[simgrid.git] / src / kernel / actor / SynchroObserver.cpp

diff --git a/src/kernel/actor/SynchroObserver.cpp b/src/kernel/actor/SynchroObserver.cpp
index 8114a5eda2b86ad277407a594ddb8ba9152b0fcd..efe5bffd31304f8f69d301a04c927e99710ca3e7 100644 (file)
--- a/src/kernel/actor/SynchroObserver.cpp
+++ b/src/kernel/actor/SynchroObserver.cpp
@@ -1,4 +1,4 @@
-/* Copyright (c) 2019-2022. The SimGrid Team. All rights reserved.          */
+/* Copyright (c) 2019-2023. The SimGrid Team. All rights reserved.          */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
@@ -30,8 +30,8 @@ void MutexObserver::serialize(std::stringstream& stream) const
 }
 std::string MutexObserver::to_string() const
 {
-  return std::string(mc::Transition::to_c_str(type_)) + "(mutex_id: " + std::to_string(get_mutex()->get_id()) +
-         "owner:" + std::to_string(get_mutex()->get_owner()->get_pid()) + ")";
+  return std::string(mc::Transition::to_c_str(type_)) + "(mutex_id:" + std::to_string(get_mutex()->get_id()) +
+         " owner:" + std::to_string(get_mutex()->get_owner()->get_pid()) + ")";
 }
 
 bool MutexObserver::is_enabled()
@@ -52,7 +52,7 @@ void SemaphoreObserver::serialize(std::stringstream& stream) const
 }
 std::string SemaphoreObserver::to_string() const
 {
-  return std::string(mc::Transition::to_c_str(type_)) + "(sem_id: " + std::to_string(get_sem()->get_id()) + ")";
+  return std::string(mc::Transition::to_c_str(type_)) + "(sem_id:" + std::to_string(get_sem()->get_id()) + ")";
 }
 
 SemaphoreAcquisitionObserver::SemaphoreAcquisitionObserver(ActorImpl* actor, mc::Transition::Type type,
@@ -71,7 +71,7 @@ void SemaphoreAcquisitionObserver::serialize(std::stringstream& stream) const
 std::string SemaphoreAcquisitionObserver::to_string() const
 {
   return std::string(mc::Transition::to_c_str(type_)) +
-         "(sem_id: " + std::to_string(acquisition_->semaphore_->get_id()) + ' ' +
+         "(sem_id:" + std::to_string(acquisition_->semaphore_->get_id()) + ' ' +
          (acquisition_->granted_ ? "granted)" : "not granted)");
 }
 
@@ -94,7 +94,7 @@ void BarrierObserver::serialize(std::stringstream& stream) const
 std::string BarrierObserver::to_string() const
 {
   return std::string(mc::Transition::to_c_str(type_)) +
-         "(barrier_id: " + std::to_string(barrier_ != nullptr ? barrier_->get_id() : acquisition_->barrier_->get_id()) +
+         "(barrier_id:" + std::to_string(barrier_ != nullptr ? barrier_->get_id() : acquisition_->barrier_->get_id()) +
          ")";
 }
 bool BarrierObserver::is_enabled()