From: Brian Norris <banorris@uci.edu>
Date: Thu, 6 Sep 2012 20:47:12 +0000 (-0700)
Subject: threads: fixup THREAD_READY comment
X-Git-Tag: pldi2013~235^2^2~5
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e7cda140158c3d1b54d10241348a096848d55cfb;p=model-checker.git

threads: fixup THREAD_READY comment

This state will be used for more than just a context switch, so reword the
comment.
---

diff --git a/threads.h b/threads.h
index 9396760..248d948 100644
--- a/threads.h
+++ b/threads.h
@@ -22,11 +22,7 @@ typedef enum thread_state {
 	THREAD_CREATED,
 	/** Thread is running */
 	THREAD_RUNNING,
-	/**
-	 * Thread has yielded to the model-checker but is ready to run. Used
-	 * during an action that caused a context switch to the model-checking
-	 * context.
-	 */
+	/** Thread is not currently running but is ready to run */
 	THREAD_READY,
 	/**
 	 * Thread is waiting on another action (e.g., thread completion, lock