model: report status of resolved promises

[model-checker.git] / snapshot-interface.cc

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index 84d9dbc015f0d6d593f4e72da807042c8bc3e373..072c1f959ac07c256129248174665a33fb5e7b30 100644 (file)
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -63,8 +63,6 @@ static void SnapshotGlobalSegments(){
                        size_t len = ((uintptr_t)end - (uintptr_t)begin) / PAGESIZE;
                        if (len != 0)
                                addMemoryRegionToSnapShot(begin, len);
-                       DEBUG("%s\n", buf);
-                       DEBUG("%45s: %18p - %18p\t%c%c%c%c\n", regionname, begin, end, r, w, x, p);
                }
        }
        pclose(map);
@@ -125,8 +123,8 @@ int SnapshotStack::backTrackBeforeStep(int seqindex) {
                        return stack->index;
                }
                struct stackEntry *tmp=stack;
-               MYFREE(tmp);
                stack=stack->next;
+               MYFREE(tmp);
        }
 }