Compute the threads that a paused thread my wait for

[c11tester.git] / history.h

diff --git a/history.h b/history.h
index 869aecf58669b1ac5b2c61dbc0a37b2609fca3bb..2ce88f2f65e45d6f5b6ae83a7334f01afb98431f 100644 (file)
--- a/history.h
+++ b/history.h
@@ -42,9 +42,6 @@ public:
 
        SnapVector<inst_act_map_t *> * getThrdInstActMap(uint32_t func_id);
 
-       void update_func_threads_map(uint32_t func_id, thread_id_t tid);
-       SnapVector<thread_id_t> * get_calling_threads(uint32_t func_id);
-
        void set_new_exec_flag();
        void dump_func_node_graph();
        void print_func_node();
@@ -78,9 +75,6 @@ private:
        HashTable<uint32_t, SnapVector<inst_act_map_t *> *, int, 0> * func_inst_act_maps;
 
        bool skip_action(ModelAction * act, SnapList<ModelAction *> * curr_act_list);
-
-       /* Map func_id to threads that have called this function */
-       HashTable<uint32_t, SnapVector<thread_id_t> *, int, 0> * func_threads_map;
 };
 
 #endif /* __HISTORY_H__ */