Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
RemotePtr as the input parameter type in get_pattern_comm_data()
authoreazimi <azimi.ehsan@outlook.com>
Wed, 27 Jan 2021 13:20:42 +0000 (14:20 +0100)
committereazimi <azimi.ehsan@outlook.com>
Wed, 27 Jan 2021 13:20:42 +0000 (14:20 +0100)
commit489c455add169a1b2673341db68a96eefdfadf5c
tree6db4fe7ba752c723b2510c829f31668a30ccd604
parent46bee330f12265d985ada4464d888145afcf7170
RemotePtr as the input parameter type in get_pattern_comm_data()
src/mc/api.cpp
src/mc/api.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp