Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
CommunicationDeterminismChecker class doesn't use RemotePtr, it passes paramaters
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 30 Nov 2020 17:10:55 +0000 (18:10 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 30 Nov 2020 17:10:55 +0000 (18:10 +0100)
commit1643dafb03c2c2a9d34f467f0c548b0a5a7e02db
tree41ed883bdc7b29acfa9bfd1a741838b87c8b8189
parentddf8c5501a9f36828e8748e453a2bc9929fd1301
CommunicationDeterminismChecker class doesn't use RemotePtr, it passes paramaters
with CommImpl* type to APIs in mc_api (fasade layer). The mc_api calls RemotePtr and does
the required conversion.
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/CommunicationDeterminismChecker.hpp
src/mc/mc_api.cpp
src/mc/mc_api.hpp