From: Brian Norris <banorris@uci.edu>
Date: Sat, 26 May 2012 01:44:23 +0000 (-0700)
Subject: clockvector: add snapshotting new/delete operators
X-Git-Tag: pldi2013~392^2~26
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=dc59ac38010eda5d474bd26ff5e8d190489e919f

clockvector: add snapshotting new/delete operators
---

diff --git a/clockvector.h b/clockvector.h
index 615dfeb..c4aabeb 100644
--- a/clockvector.h
+++ b/clockvector.h
@@ -2,6 +2,7 @@
 #define __CLOCKVECTOR_H__
 
 #include "threads.h"
+#include "mymemory.h"
 
 /* Forward declaration */
 class ModelAction;
@@ -12,6 +13,8 @@ public:
 	~ClockVector();
 	void merge(ClockVector *cv);
 	bool happens_before(ModelAction *act, thread_id_t id);
+
+	MEMALLOC
 private:
 	int *clock;
 	int num_threads;