From: Brian Norris <banorris@uci.edu>
Date: Mon, 21 May 2012 18:24:43 +0000 (-0700)
Subject: nodestack: allocate from "mymemory" region
X-Git-Tag: pldi2013~408
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;ds=sidebyside;h=88d80fee062a6c63fae9fb8f9eccfde42dfbebde;p=model-checker.git

nodestack: allocate from "mymemory" region
---

diff --git a/nodestack.h b/nodestack.h
index 2fd84dd..3a0ee74 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -5,6 +5,7 @@
 #include <vector>
 #include <cstddef>
 #include "threads.h"
+#include "mymemory.h"
 
 class ModelAction;
 
@@ -26,6 +27,8 @@ public:
 	void print();
 
 	static int get_total_nodes() { return total_nodes; }
+
+	MEMALLOC
 private:
 	void explore(thread_id_t tid);
 
@@ -48,6 +51,8 @@ public:
 	void reset_execution();
 
 	void print();
+
+	MEMALLOC
 private:
 	node_list_t node_list;
 	node_list_t::iterator iter;