Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : MUTEX_UNLOCK is invisible for MC
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 26 Feb 2015 09:22:04 +0000 (10:22 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 26 Feb 2015 09:22:04 +0000 (10:22 +0100)
commiteca09d65271990fdae84e1d7da71916740a9c50b
treef2587efa80e539281f5e5a284eb52967cd1d9881
parent1939afadc8cb4e240e487006a547b4cb86a9509e
model-checker : MUTEX_UNLOCK is invisible for MC
examples/smpi/mc/only_send_deterministic.tesh
src/mc/mc_base.c
src/mc/mc_request.c