Fix snapshot code

[model-checker.git] / snapshot.cc

diff --git a/snapshot.cc b/snapshot.cc
index 56bdeb1c4a0756899aa368412b969808e76f8c8a..66faacd8e445510f57c7714ce9ccd60a1ee95f3c 100644 (file)
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -190,6 +190,9 @@ static void mprot_add_to_snapshot(void *addr, unsigned int numPages)
                exit(EXIT_FAILURE);
        }
 
+       DEBUG("snapshot region %p-%p (%u page%s)\n",
+                       addr, (char *)addr + numPages * PAGESIZE, numPages,
+                       numPages > 1 ? "s" : "");
        mprot_snap->regionsToSnapShot[memoryregion].basePtr = addr;
        mprot_snap->regionsToSnapShot[memoryregion].sizeInPages = numPages;
 }