Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc_api::get_dst_actor() defined,
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Fri, 27 Nov 2020 20:12:45 +0000 (21:12 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Fri, 27 Nov 2020 20:12:45 +0000 (21:12 +0100)
commite3f2b0103f46b876785e374a2781ff7d48f8ec59
treeb49740421194f22dbae851f44fdeaa1f26bf3b9c
parentf2c19ca0bb653af08dccfad323fcf058f22e48c1
mc_api::get_dst_actor() defined,
it used in update_comm_pattern() of comm. deter. checker
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/mc_api.cpp
src/mc/mc_api.hpp