From: Marion Guthmuller Date: Wed, 30 Nov 2011 08:39:22 +0000 (+0100) Subject: model-checker : remove stack from regions added in snapshot X-Git-Tag: exp_20120216~133^2~31 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/4157c72635c16fa9a690366d1c262cbfe222ddd2 model-checker : remove stack from regions added in snapshot --- diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c index aec3a719d1..de01ecd76b 100644 --- a/src/mc/mc_checkpoint.c +++ b/src/mc/mc_checkpoint.c @@ -145,11 +145,11 @@ void MC_take_snapshot_liveness(mc_snapshot_t snapshot, char *prgm) } else { if (!memcmp(basename(maps->regions[i].pathname), basename(prgm), strlen(basename(prgm)))){ MC_snapshot_add_region(snapshot, 2, reg.start_addr, (char*)reg.end_addr - (char*)reg.start_addr); - } else { - if (!memcmp(maps->regions[i].pathname, "[stack]", 7)){ - MC_snapshot_add_region(snapshot, 3, reg.start_addr, (char*)reg.end_addr - (char*)reg.start_addr); - } - } + } //else { + //if (!memcmp(maps->regions[i].pathname, "[stack]", 7)){ + //MC_snapshot_add_region(snapshot, 3, reg.start_addr, (char*)reg.end_addr - (char*)reg.start_addr); + //} + //} } } }