revamp scheduler so we can start threads early

[c11tester.git] / threads-model.h

diff --git a/threads-model.h b/threads-model.h
index 61e3569bbdfe8a9f09efb8e354eacc119257d8ab..513142b53c41734832c1110f3d5dff4ae5baf1f0 100644 (file)
--- a/threads-model.h
+++ b/threads-model.h
@@ -50,6 +50,7 @@ public:
        static int swap(ucontext_t *ctxt, Thread *t);
        static int swap(Thread *t, ucontext_t *ctxt);
 
+       void setContext();
        thread_state get_state() const { return state; }
        void set_state(thread_state s);
        thread_id_t get_id() const;