Whitespace cleanup (codefactor.io).

[ci-skip]

diff --git a/src/mc/api/State.cpp b/src/mc/api/State.cpp
index a33cbf1..d1919db 100644 (file)
--- a/src/mc/api/State.cpp
+++ b/src/mc/api/State.cpp
@@ -52,8 +52,7 @@ State::State(RemoteApp& remote_app) : num_(++expended_states_)
 State::State(RemoteApp& remote_app, std::shared_ptr<State> parent_state)
     : incoming_transition_(parent_state->get_transition_out()), num_(++expended_states_), parent_state_(parent_state)
 {
-    
-   if (_sg_mc_strategy == "none")
+  if (_sg_mc_strategy == "none")
     strategy_ = std::make_shared<BasicStrategy>();
   else if (_sg_mc_strategy == "max_match_comm")
     strategy_ = std::make_shared<MaxMatchComm>();

diff --git a/src/mc/api/strategy/BasicStrategy.hpp b/src/mc/api/strategy/BasicStrategy.hpp
index ef7bee3..7ecb325 100644 (file)
--- a/src/mc/api/strategy/BasicStrategy.hpp
+++ b/src/mc/api/strategy/BasicStrategy.hpp
@@ -36,12 +36,9 @@ public:
       return std::make_pair(aid, depth_);
     }
     return std::make_pair(-1, depth_);
-  
   }
-    
 
   void execute_next(aid_t aid, RemoteApp& app) override { return; }
-    
 };
 
 } // namespace simgrid::mc

diff --git a/src/mc/api/strategy/MaxMatchComm.hpp b/src/mc/api/strategy/MaxMatchComm.hpp
index a2f1d60..1f9a826 100644 (file)
--- a/src/mc/api/strategy/MaxMatchComm.hpp
+++ b/src/mc/api/strategy/MaxMatchComm.hpp
@@ -13,7 +13,6 @@ namespace simgrid::mc {
 /** Wait MC guiding class that aims at minimizing the number of in-fly communication.
  *  When possible, it will try to match corresponding in-fly communications. */
 class MaxMatchComm : public Strategy {
-
   /** Stores for each mailbox what kind of transition is waiting on it.
    *  Negative number means that much recv are waiting on that mailbox, while
    *  a positiv number means that much send are waiting there. */
@@ -58,7 +57,6 @@ public:
              aid_value--; // This means we have waiting recv corresponding to this recv
          } else { 
              aid_value++; 
-
          }
       }
    
@@ -92,7 +90,6 @@ public:
     if (cast_send != nullptr)
       last_mailbox_ = cast_send->get_mailbox();
   }
-
 };
 
 } // namespace simgrid::mc

diff --git a/src/mc/api/strategy/MinMatchComm.hpp b/src/mc/api/strategy/MinMatchComm.hpp
index 665c92f..607a0a0 100644 (file)
--- a/src/mc/api/strategy/MinMatchComm.hpp
+++ b/src/mc/api/strategy/MinMatchComm.hpp
@@ -13,8 +13,6 @@ namespace simgrid::mc {
 /** Wait MC guiding class that aims at maximizing the number of in-fly communication.
  *  When possible, it will try not to match communications. */
 class MinMatchComm : public Strategy {
-
-    
   /** Stores for each mailbox what kind of transition is waiting on it.
    *  Negative number means that much recv are waiting on that mailbox, while
    *  a positiv number means that much send are waiting there. */
@@ -93,7 +91,6 @@ public:
     if (cast_send != nullptr)
       last_mailbox_ = cast_send->get_mailbox();
   }
-
 };
 
 } // namespace simgrid::mc

diff --git a/src/mc/api/strategy/UniformStrategy.hpp b/src/mc/api/strategy/UniformStrategy.hpp
index 8e9726f..cc5bd85 100644 (file)
--- a/src/mc/api/strategy/UniformStrategy.hpp
+++ b/src/mc/api/strategy/UniformStrategy.hpp
@@ -59,9 +59,7 @@ public:
     return std::make_pair(-1, 0);
   }
 
-    
   void execute_next(aid_t aid, RemoteApp& app) override {}
-    
 };
 
 } // namespace simgrid::mc

diff --git a/src/mc/explo/udpor/ExtensionSetCalculator.cpp b/src/mc/explo/udpor/ExtensionSetCalculator.cpp
index deeec23..e2e2e67 100644 (file)
--- a/src/mc/explo/udpor/ExtensionSetCalculator.cpp
+++ b/src/mc/explo/udpor/ExtensionSetCalculator.cpp
@@ -472,7 +472,6 @@ EventSet ExtensionSetCalculator::partially_extend_CommTest(const Configuration&
   } else if (const CommRecvTransition* e_issuer_recv =
                  dynamic_cast<const CommRecvTransition*>(e_issuer->get_transition());
              e_issuer_recv != nullptr) {
-
     for (const auto e : C) {
       // If the provider of the communication for `CommTest` is a
       // `CommRecv(m)`, then we only care about `e` if `λ(e) == `CommSend(m)`.
@@ -556,7 +555,6 @@ EventSet ExtensionSetCalculator::partially_extend_MutexAsyncLock(const Configura
     // Check for other locks on the same mutex
     if (const MutexTransition* e_mutex = dynamic_cast<const MutexTransition*>(e->get_transition());
         e_mutex != nullptr) {
-
       if (e_mutex->type_ == Transition::Type::MUTEX_ASYNC_LOCK && mutex_lock->get_mutex() == e_mutex->get_mutex()) {
         const EventSet K = EventSet({e, pre_event_a_C.value_or(e)});
         exC.insert(U->discover_event(std::move(K), mutex_lock));
@@ -590,7 +588,6 @@ EventSet ExtensionSetCalculator::partially_extend_MutexUnlock(const Configuratio
     // Check for MutexTest
     if (const MutexTransition* e_mutex = dynamic_cast<const MutexTransition*>(e->get_transition());
         e_mutex != nullptr) {
-
       if (e_mutex->type_ == Transition::Type::MUTEX_TEST || e_mutex->type_ == Transition::Type::MUTEX_WAIT) {
         // TODO: Check if dependent or not
         // This entails getting information about