Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add ignore mechanism for comparison of local variables
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 31 Oct 2012 17:45:34 +0000 (18:45 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Nov 2012 15:59:31 +0000 (16:59 +0100)
commitfe93dd78e64c2374403b3f1ac084155756837b38
tree13d36663aaa6477878b50ac8bdd4783647d68b15
parent2f01a6122c5be515bbc2b661d83bbe4cf25cbc8f
model-checker : add ignore mechanism for comparison of local variables
12 files changed:
src/include/mc/datatypes.h
src/include/mc/mc.h
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_context_sysv.c
src/simix/smx_network.c
src/simix/smx_process.c
src/xbt/mmalloc/mm_diff.c