Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : extend ignore mechanism with new user primitive MC_ignore
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 12 Aug 2013 17:35:02 +0000 (19:35 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 12 Aug 2013 17:35:02 +0000 (19:35 +0200)
commit50376f845bf79ba752eb226efdeb2a46b2ff88cf
tree386fbd8d9dc7611f42578d5a6da2638505888103
parent13975211f041f20675232b7b2397eae61790503a
model-checker : extend ignore mechanism with new user primitive MC_ignore
include/simgrid/modelchecker.h
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/simix/smx_network.c
src/xbt/mmalloc/mm_diff.c