From: Brian Norris <banorris@uci.edu>
Date: Tue, 10 Apr 2012 22:25:34 +0000 (-0700)
Subject: libthreads: perform 'model checking' when moving to next thread
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=ad1c474f5a633940b6732a883f425dcf32760469;p=c11tester.git

libthreads: perform 'model checking' when moving to next thread

Simply use the hollow 'check_current_action()' interface to perform model
checking in the thread_system_next() call.

Right now, this just adds the previous (a.k.a. 'current') action to our log.
---

diff --git a/libthreads.cc b/libthreads.cc
index 07ce633e..a8ce0fae 100644
--- a/libthreads.cc
+++ b/libthreads.cc
@@ -72,6 +72,7 @@ static int thread_system_next(void)
 	struct thread *curr, *next;
 
 	curr = thread_current();
+	model->check_current_action();
 	if (curr) {
 		if (curr->state == THREAD_READY)
 			model->scheduler->add_thread(curr);