X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=a3a7bc0ee8f22a059a1b9572d82a2f266f9e2a04;hp=1269e76e1edf00d47951bc3c60001fee8658fe33;hb=51ee3f71895aafae7e7292174862b3ad42c801a6;hpb=c56ca6ef155dc69125bfc53bf9893016b699a0c2

diff --git a/model.h b/model.h
index 1269e76e..a3a7bc0e 100644
--- a/model.h
+++ b/model.h
@@ -59,6 +59,7 @@ public:
 	uint64_t switch_to_master(ModelAction *act);
 
 	bool assert_bug(const char *msg, ...);
+
 	void assert_user_bug(const char *msg);
 
 	model_params params;
@@ -66,6 +67,8 @@ public:
 	void set_inspect_plugin(TraceAnalysis *a) {     inspect_plugin=a;       }
 	void startMainThread();
 	void startChecker();
+	Thread * getInitThread() {return init_thread;}
+	Scheduler * getScheduler() {return scheduler;}
 	MEMALLOC
 private:
 	/** Flag indicates whether to restart the model checker. */
@@ -73,10 +76,9 @@ private:
 
 	/** The scheduler to use: tracks the running/ready Threads */
 	Scheduler * const scheduler;
-	NodeStack * const node_stack;
+	ModelHistory * history;
 	ModelExecution *execution;
 	Thread * init_thread;
-	ModelHistory *history;
 
 	int execution_number;