X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=action.h;h=80ac1fda66eb1eec79ac70eaefe32b8764e8760f;hp=a8233eb765184ceafb4837ae171c7826fe40d6b8;hb=74ac6c2fab9f394a9992431079ed2dbede1144c0;hpb=1b16c934eb17b6ddac760bbce48d91b27332ce8c

diff --git a/action.h b/action.h
index a8233eb7..80ac1fda 100644
--- a/action.h
+++ b/action.h
@@ -53,9 +53,11 @@ typedef enum action_type {
 	THREAD_JOIN,	// < A thread join action
 	THREAD_FINISH,	// < A thread completion action
 	THREADONLY_FINISH,	// < A thread completion action
+	THREAD_SLEEP,	// < A sleep operation
+
 	PTHREAD_CREATE,	// < A pthread creation action
 	PTHREAD_JOIN,	// < A pthread join action
-	THREAD_SLEEP,	// < A sleep operation
+
 	ATOMIC_UNINIT,	// < Represents an uninitialized atomic
 	NONATOMIC_WRITE,	// < Represents a non-atomic store
 	ATOMIC_INIT,	// < Initialization of an atomic object (e.g., atomic_init())
@@ -70,6 +72,7 @@ typedef enum action_type {
 	ATOMIC_LOCK,	// < A lock action
 	ATOMIC_TRYLOCK,	// < A trylock action
 	ATOMIC_UNLOCK,	// < An unlock action
+
 	ATOMIC_NOTIFY_ONE,	// < A notify_one action
 	ATOMIC_NOTIFY_ALL,	// < A notify all action
 	ATOMIC_WAIT,	// < A wait action