Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : cleanup on mc_checkpoint
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jul 2012 14:11:59 +0000 (16:11 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jul 2012 19:37:05 +0000 (21:37 +0200)
commitb66dec8383676c57d9dd6b541ada6d3f4fa624b7
tree8374b165dfd5e21a1286b6355cbc9b24e9f03b97
parentc0c60073d245247d2f7848dada797723781d4069
model-checker : cleanup on mc_checkpoint

- XBT_DEBUG instead of fprintf on stderr or XBT_INFO
- remove useless debug information
- pointer detection for comparison of data region of libsimgrid
- free the memory map
src/mc/mc_checkpoint.c
src/mc/mc_private.h
src/mc/memory_map.c