Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc_api::get_pattern_comm_rdv()
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 23 Nov 2020 12:56:36 +0000 (13:56 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Wed, 25 Nov 2020 18:23:54 +0000 (19:23 +0100)
commit1dc3cb7c2d85db5b01f325d54e3f008f5ef6619f
treed0f24f7fe781e76a3d3bfe98ae7c18792141c8d3
parente3848d99a9a0bf0e37fbdbcb828fddfd2d77e5ef
mc_api::get_pattern_comm_rdv()
mc_api::get_pattern_comm_addr()
mc_api::get_pattern_comm_src_proc()
mc_api::get_pattern_comm_data()
mc_api::get_actor_host_name()
The above functions are defined in mc_api and being used in comm_dete checker
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/mc_api.cpp
src/mc/mc_api.hpp