From e7cda140158c3d1b54d10241348a096848d55cfb Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 6 Sep 2012 13:47:12 -0700 Subject: [PATCH] threads: fixup THREAD_READY comment This state will be used for more than just a context switch, so reword the comment. --- threads.h | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) 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 -- 2.34.1