Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add block and fragment number in mc_ignore_region
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 2 Aug 2012 09:29:55 +0000 (11:29 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 2 Aug 2012 09:29:55 +0000 (11:29 +0200)
commit4980d4cb7fd8b75fbb6ab9619b73b536da24ca93
treeae9fbfca4e1033fdaeb3420d8bb7cfb1eaf95913
parent2554c9160f3c5d661be5e8b42798580cea1cd636
model-checker : add block and fragment number in mc_ignore_region
src/include/mc/datatypes.h
src/mc/mc_global.c
src/mc/mc_private.h
src/xbt/mmalloc/mm_diff.c