Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc_api::mc_state_choose_request() updated
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Tue, 17 Nov 2020 16:02:51 +0000 (17:02 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Tue, 17 Nov 2020 16:02:51 +0000 (17:02 +0100)
commit807c63458af95dc6784264f937cd6e14e718731c
treecce5f8644d25bbec6e558dcae19caca7c331d88e
parent86ae7d28b617b71122346630ab42983f09276633
mc_api::mc_state_choose_request() updated
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/mc_api.cpp
src/mc/mc_state.cpp
src/mc/mc_state.hpp