X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=dc36eb6339f8dc3d3d13d6908500858bf4d45d27;hp=ed364b1e701a3f2623a67a4362cd378210345fbb;hb=54fe8f7be84c753df62188139cd59ab8207ea3e0;hpb=ecd9104af35b2a0298042b13145767ef7382ac18

diff --git a/model.h b/model.h
index ed364b1e..dc36eb63 100644
--- a/model.h
+++ b/model.h
@@ -55,6 +55,10 @@ public:
 	uint64_t switch_to_master(ModelAction *act);
 	uint64_t switch_thread(ModelAction *act);
 
+	void continueExecution(Thread *old);
+	void finishExecution(Thread *old);
+	void consumeAction();
+
 	void assert_bug(const char *msg, ...);
 
 	void assert_user_bug(const char *msg);
@@ -84,6 +88,8 @@ private:
 
 	bool thread_chosen;
 
+	modelclock_t checkfree;
+
 	unsigned int get_num_threads() const;
 
 	void finish_execution(bool moreexecutions);