Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
RemotePtr in get_pattern_comm_dst_proc()
authoreazimi <azimi.ehsan@outlook.com>
Wed, 27 Jan 2021 13:50:22 +0000 (14:50 +0100)
committereazimi <azimi.ehsan@outlook.com>
Wed, 27 Jan 2021 13:50:22 +0000 (14:50 +0100)
commit14fc68d1ad374e551851d1ec09a8e09c42265f3c
treeb2738f6b0a136cacb45c76ff0b9c9c6a6a3b24f3
parent84a01a427465aa96a6809838b38a80c15acab1da
RemotePtr in get_pattern_comm_dst_proc()
src/mc/api.cpp
src/mc/api.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp