Merge branch 'master' of /home/git/random-fuzzer into thread-switch

[c11tester.git] / threads-model.h

diff --git a/threads-model.h b/threads-model.h
index f0b88bb25fea3abd10f8048ac55251460b99dca5..8047e1f33d963d001fab179feab210c405ed7f34 100644 (file)
--- a/threads-model.h
+++ b/threads-model.h
@@ -49,6 +49,7 @@ public:
 
        static int swap(ucontext_t *ctxt, Thread *t);
        static int swap(Thread *t, ucontext_t *ctxt);
+       static int swap(Thread *t, Thread *t2);
 
        thread_state get_state() const { return state; }
        void set_state(thread_state s);