Kill redundant blank lines (codefactor.io)

[ci-skip]

diff --git a/src/mc/api/ActorState.hpp b/src/mc/api/ActorState.hpp
index 79cbe42..6538eff 100644 (file)
--- a/src/mc/api/ActorState.hpp
+++ b/src/mc/api/ActorState.hpp
@@ -16,7 +16,6 @@ namespace simgrid::mc {
  *   an actor cannot have more than one enabled transition at a given time.
  */
 class ActorState {
-
   /* Possible exploration status of an actor transition in a state.
    * Either the checker did not consider the transition, or it was considered and still to do, or considered and done.
    */

diff --git a/src/mc/explo/DFSExplorer.cpp b/src/mc/explo/DFSExplorer.cpp
index ba28f03..373d6e8 100644 (file)
--- a/src/mc/explo/DFSExplorer.cpp
+++ b/src/mc/explo/DFSExplorer.cpp
@@ -171,7 +171,6 @@ void DFSExplorer::run()
 
       mc_model_checker->dot_output("\"%ld\" -> \"%ld\" [%s];\n", state->get_num(), next_state->get_num(),
                                    state->get_transition()->dot_string().c_str());
-
     } else
       mc_model_checker->dot_output("\"%ld\" -> \"%ld\" [%s];\n", state->get_num(),
                                    visited_state_->original_num == -1 ? visited_state_->num

diff --git a/src/smpi/internals/smpi_replay.cpp b/src/smpi/internals/smpi_replay.cpp
index 11c26d9..8c6a3a5 100644 (file)
--- a/src/smpi/internals/smpi_replay.cpp
+++ b/src/smpi/internals/smpi_replay.cpp
@@ -541,7 +541,6 @@ void SendRecvAction::kernel(simgrid::xbt::ReplayAction&)
   TRACE_smpi_recv(src_traced, my_proc_id, recvtag);
   TRACE_smpi_comm_out(my_proc_id);
   XBT_DEBUG("Exits SendRecv");
-
 }
 
 void ComputeAction::kernel(simgrid::xbt::ReplayAction&)