From 18a5aa8f0eb9f359ee016d8ad7bd9e56c4bef179 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 10 May 2020 09:52:22 +0200 Subject: [PATCH] Fix MC+SMPI builds --- src/mc/checker/CommunicationDeterminismChecker.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/mc/checker/CommunicationDeterminismChecker.cpp b/src/mc/checker/CommunicationDeterminismChecker.cpp index cf114b11f5..d7c436effc 100644 --- a/src/mc/checker/CommunicationDeterminismChecker.cpp +++ b/src/mc/checker/CommunicationDeterminismChecker.cpp @@ -198,8 +198,8 @@ void CommunicationDeterminismChecker::get_comm_pattern(smx_simcall_t request, e_ #if HAVE_SMPI simgrid::smpi::Request mpi_request; - mc_model_checker->process().read(&mpi_request, - remote(static_cast(simcall_comm_isend__get__data(request)))); + mc_model_checker->get_remote_simulation().read( + &mpi_request, remote(static_cast(simcall_comm_isend__get__data(request)))); pattern->tag = mpi_request.tag(); #endif @@ -227,8 +227,8 @@ void CommunicationDeterminismChecker::get_comm_pattern(smx_simcall_t request, e_ #if HAVE_SMPI smpi::Request mpi_request; - mc_model_checker->process().read(&mpi_request, - remote(static_cast(simcall_comm_irecv__get__data(request)))); + mc_model_checker->get_remote_simulation().read( + &mpi_request, remote(static_cast(simcall_comm_irecv__get__data(request)))); pattern->tag = mpi_request.tag(); #endif -- 2.20.1