Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
RemotePtr in get_pattern_comm_src_proc()
authoreazimi <azimi.ehsan@outlook.com>
Wed, 27 Jan 2021 13:47:37 +0000 (14:47 +0100)
committereazimi <azimi.ehsan@outlook.com>
Wed, 27 Jan 2021 13:47:37 +0000 (14:47 +0100)
commit84a01a427465aa96a6809838b38a80c15acab1da
treefd36a49ef61494756b50173b1dae21333fb13381
parente3edcce3fad8dab51ab79373c6ef6c7e88990973
RemotePtr in get_pattern_comm_src_proc()
src/mc/api.cpp
src/mc/api.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp