From ddf8c5501a9f36828e8748e453a2bc9929fd1301 Mon Sep 17 00:00:00 2001 From: Ehsan Azimi Date: Mon, 30 Nov 2020 17:35:00 +0100 Subject: [PATCH] mc_api::comm_addr_equal() is used in CommunicationDeterminismChecker::complete_comm_pattern() --- src/mc/checker/CommunicationDeterminismChecker.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mc/checker/CommunicationDeterminismChecker.cpp b/src/mc/checker/CommunicationDeterminismChecker.cpp index 4b56822d56..39b40cc072 100644 --- a/src/mc/checker/CommunicationDeterminismChecker.cpp +++ b/src/mc/checker/CommunicationDeterminismChecker.cpp @@ -234,7 +234,7 @@ void CommunicationDeterminismChecker::complete_comm_pattern(RemotePtr& incomplete_pattern = incomplete_communications_pattern[issuer]; auto current_comm_pattern = std::find_if(begin(incomplete_pattern), end(incomplete_pattern), - [&comm_addr](const PatternCommunication* comm) { return remote(comm->comm_addr) == comm_addr; }); + [&comm_addr](const PatternCommunication* comm) { return mcapi::get().comm_addr_equal(comm->comm_addr, comm_addr); }); if (current_comm_pattern == std::end(incomplete_pattern)) xbt_die("Corresponding communication not found!"); -- 2.20.1