From a3de0186b5ec2b6aabae79f9d9573c471a5de398 Mon Sep 17 00:00:00 2001 From: Ehsan Azimi Date: Tue, 1 Dec 2020 08:06:49 +0100 Subject: [PATCH] cleanup! --- .../CommunicationDeterminismChecker.cpp | 18 ------------------ src/mc/mc_comm_pattern.hpp | 3 --- 2 files changed, 21 deletions(-) diff --git a/src/mc/checker/CommunicationDeterminismChecker.cpp b/src/mc/checker/CommunicationDeterminismChecker.cpp index c959f921d2..86303797a8 100644 --- a/src/mc/checker/CommunicationDeterminismChecker.cpp +++ b/src/mc/checker/CommunicationDeterminismChecker.cpp @@ -30,24 +30,6 @@ std::vector> incomplete_communic /********** Static functions ***********/ -void copy_incomplete_comm_pattern(simgrid::mc::State* state) -{ - state->incomplete_comm_pattern_.clear(); - for (unsigned i=0; i < MC_smx_get_maxpid(); i++) { - std::vector res; - for (auto const& comm : incomplete_communications_pattern[i]) - res.push_back(comm->dup()); - state->incomplete_comm_pattern_.push_back(std::move(res)); - } -} - -void copy_index_comm_pattern(simgrid::mc::State* state) -{ - state->communication_indices_.clear(); - for (auto const& list_process_comm : initial_communications_pattern) - state->communication_indices_.push_back(list_process_comm.index_comm); -} - static simgrid::mc::CommPatternDifference compare_comm_pattern(const simgrid::mc::PatternCommunication* comm1, const simgrid::mc::PatternCommunication* comm2) { diff --git a/src/mc/mc_comm_pattern.hpp b/src/mc/mc_comm_pattern.hpp index ca221ea58d..01b7524d36 100644 --- a/src/mc/mc_comm_pattern.hpp +++ b/src/mc/mc_comm_pattern.hpp @@ -8,7 +8,6 @@ #include -#include "smpi/smpi.h" #include "src/mc/mc_state.hpp" namespace simgrid { @@ -61,6 +60,4 @@ static inline simgrid::mc::CallType MC_get_call_type(const s_smx_simcall* req) } } -XBT_PRIVATE void MC_restore_communications_pattern(simgrid::mc::State* state); - #endif -- 2.20.1