Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : extend MC_ignore mechanism for global variables in libsimgrid
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 5 Oct 2012 11:20:34 +0000 (13:20 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 5 Oct 2012 17:19:15 +0000 (19:19 +0200)
commit3227570daf9d253c6d0a79f3c20c04e50e33146c
treedf4f9445afefa56911f61b3873be29a2f8cb2092
parente61f1a1be7be52324b66e62b0d3477ad8b225e01
model-checker : extend MC_ignore mechanism for global variables in libsimgrid
src/include/mc/mc.h
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_global.c
src/mc/mc_private.h
src/msg/msg_global.c
src/simix/smx_context_base.c
src/simix/smx_context_raw.c
src/simix/smx_network.c
src/xbt/mmalloc/mm_diff.c