X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=a3a7bc0ee8f22a059a1b9572d82a2f266f9e2a04;hp=a37bd49d5e0deb818cdfa833336140554fa984a8;hb=85de8a1591855db0bc0608b67532515df12e65cc;hpb=ba484ecdbd0285d264e70ec6d9c0f3fab57b626f

diff --git a/model.h b/model.h
index a37bd49d..a3a7bc0e 100644
--- a/model.h
+++ b/model.h
@@ -59,7 +59,6 @@ public:
 	uint64_t switch_to_master(ModelAction *act);
 
 	bool assert_bug(const char *msg, ...);
-	bool assert_race(const char *msg, ...);
 
 	void assert_user_bug(const char *msg);
 
@@ -68,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. */
@@ -75,9 +76,9 @@ private:
 
 	/** The scheduler to use: tracks the running/ready Threads */
 	Scheduler * const scheduler;
+	ModelHistory * history;
 	ModelExecution *execution;
 	Thread * init_thread;
-	ModelHistory *history;
 
 	int execution_number;