Reorganize codes

[c11tester.git] / history.h

diff --git a/history.h b/history.h
index ad72cdfa85e34aaab1ffee3b905b136b87925ada..ce75e2ac2af5dafd32e98834ef147383eb555cb3 100644 (file)
--- a/history.h
+++ b/history.h
@@ -71,6 +71,8 @@ private:
        /* A run-time map from FuncInst to ModelAction per each FuncNode, per each thread.
         * Manipulated by FuncNode, and needed by NewFuzzer */
        HashTable<uint32_t, SnapVector<inst_act_map_t *> *, int, 0> * func_inst_act_maps;
        /* A run-time map from FuncInst to ModelAction per each FuncNode, per each thread.
         * Manipulated by FuncNode, and needed by NewFuzzer */
        HashTable<uint32_t, SnapVector<inst_act_map_t *> *, int, 0> * func_inst_act_maps;

+
+       bool skip_action(ModelAction * act, SnapList<ModelAction *> * curr_act_list);

 };
 
 #endif /* __HISTORY_H__ */
 };
 
 #endif /* __HISTORY_H__ */