Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
get_pattern_comm_rdv() defined in mc_api and used in CommDet checker
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Fri, 20 Nov 2020 17:32:31 +0000 (18:32 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Fri, 20 Nov 2020 17:32:31 +0000 (18:32 +0100)
commite3848d99a9a0bf0e37fbdbcb828fddfd2d77e5ef
tree0194b9bcea4ea5b0a8fbf9f298453a14991de85d
parent5f4e5ebf04edc2c9e91429952943a41b86dd0bb9
get_pattern_comm_rdv() defined in mc_api and used in CommDet checker
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/mc_api.cpp
src/mc/mc_api.hpp