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 07ce633e5d29277881ef213563dc5e4c3b8350a9..a8ce0faee1ef59a94191858d0e3f57baea41e43b 100644 (file)
--- 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);