Monitor threads when they enter functions and decide if others (if there is any)...

[c11tester.git] / history.h

diff --git a/history.h b/history.h
index 82a1a0109835c05f2c5f7a8971a52a3b34421620..7513524f2da80e83ddedee973c51e38332ea6fc6 100644 (file)
--- a/history.h
+++ b/history.h
@@ -42,6 +42,7 @@ public:
        WaitObj * getWaitObj(thread_id_t tid);
        void add_waiting_thread(thread_id_t self_id, thread_id_t waiting_for_id, FuncNode * target_node, int dist);
        void remove_waiting_thread(thread_id_t tid);
+       void stop_waiting_for(thread_id_t self_id, thread_id_t waiting_for_id, FuncNode * target_node);
 
        SnapVector<inst_act_map_t *> * getThrdInstActMap(uint32_t func_id);