From 4157c72635c16fa9a690366d1c262cbfe222ddd2 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 30 Nov 2011 09:39:22 +0100 Subject: [PATCH 1/1] model-checker : remove stack from regions added in snapshot --- src/mc/mc_checkpoint.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) 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); + //} + //} } } } -- 2.20.1