Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix SIMCALL_MUTEX_LOCK with MC
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 25 Feb 2015 15:13:33 +0000 (16:13 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 25 Feb 2015 15:13:33 +0000 (16:13 +0100)
commitcc65d2b16b44aceb784687cf94626c7dca9423b4
tree795582c9733291b22d1a97b8b2904f7e4c3f6225
parenta883120fb94a2ec473ac6ecfba41a69ff1846426
model-checker : fix SIMCALL_MUTEX_LOCK with MC
src/mc/mc_base.c
src/mc/mc_config.c
src/mc/mc_global.c