Add sleep score
[c11tester.git] / newfuzzer.h
index 61925c1..e94de33 100644 (file)
@@ -47,6 +47,7 @@ private:
        void wake_up_paused_threads(int * threadlist, int * numthreads);
 
        bool find_threads(ModelAction * pending_read);
+       void update_predicate_score(Predicate * predicate, int type);
 };
 
 #endif /* end of __NEWFUZZER_H__ */