Compute the threads that a paused thread my wait for
[c11tester.git] / newfuzzer.h
index c152c5d..0e5d483 100644 (file)
@@ -42,6 +42,8 @@ private:
 
        void conditional_sleep(Thread * thread);
        void wake_up_paused_threads(int * threadlist, int * numthreads);
+
+       void find_threads(ModelAction * pending_read);
 };
 
 #endif /* end of __NEWFUZZER_H__ */