X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=b98e7505a4bc21664384c930392b7b1a9b2b2c47;hp=b81858c87f6a815c2ea4d58c5fc46f2562d72534;hb=c4f504bb8deb86c8e2b06cb8ddaec5d92ec17e9d;hpb=43124ec9b82ef50d2adb5cdbf0639f5330995a8b

diff --git a/model.h b/model.h
index b81858c8..b98e7505 100644
--- a/model.h
+++ b/model.h
@@ -55,12 +55,15 @@ public:
 	uint64_t switch_to_master(ModelAction *act);
 	uint64_t switch_thread(ModelAction *act);
 
-	void continueExecution(Thread *old);
-	void finishExecution(Thread *old);
+	void continueRunExecution(Thread *old);
+	void startRunExecution(ucontext_t *old);
+	void finishRunExecution(Thread *old);
+	void finishRunExecution(ucontext_t *old);
 	void consumeAction();
-	void chooseThread(ModelAction *act, Thread *old);
+	void chooseThread(ModelAction *act, Thread *thr);
 	Thread * getNextThread();
 	void handleChosenThread(Thread *old);
+	void handleChosenThread(ucontext_t *old);
 	void handleNewValidThread(Thread *old, Thread *next);
 
 	void assert_bug(const char *msg, ...);