From: Brian Norris <banorris@uci.edu>
Date: Tue, 2 Oct 2012 19:17:16 +0000 (-0700)
Subject: clockvector: snapshot the whole object
X-Git-Tag: pldi2013~125
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=13af354e762ebf0282eaf59a1e4758a89adb8558

clockvector: snapshot the whole object
---

diff --git a/clockvector.h b/clockvector.h
index f2716db..739a336 100644
--- a/clockvector.h
+++ b/clockvector.h
@@ -23,7 +23,7 @@ public:
 	void print() const;
 	modelclock_t getClock(thread_id_t thread);
 
-	MEMALLOC
+	SNAPSHOTALLOC
 private:
 	/** @brief Holds the actual clock data, as an array. */
 	modelclock_t *clock;