Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix comm determinism detection mechanisms
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Fri, 30 May 2014 21:51:41 +0000 (23:51 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Fri, 30 May 2014 21:51:41 +0000 (23:51 +0200)
commit48af4c8427d171d3e05d39116b02e441f2391374
tree85f240df81bd121dec79a11702f9310b2e7741ad
parenta20e82ad79e5dbc42c6c02903740edece926bc3e
model-checker : fix comm determinism detection mechanisms
src/mc/mc_comm_determinism.c
src/mc/mc_global.c
src/mc/mc_private.h