X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=history.cc;fp=history.cc;h=3c000e7de06c20f2054610a96f7138db78d92745;hp=7b6e3c87fe6adfca4e5bbcd54e99203b8ec35234;hb=db26d1e3370a583f8eef79194c87ba9d2ef92530;hpb=a177614511b9244854659a8d5f304d3e912c1658

diff --git a/history.cc b/history.cc
index 7b6e3c87..3c000e7d 100644
--- a/history.cc
+++ b/history.cc
@@ -56,7 +56,6 @@ void ModelHistory::exit_function(const uint32_t func_id, thread_id_t tid)
 	uint32_t last_func_id = (*thrd_func_list)[id].back();
 
 	if (last_func_id == func_id) {
-		/* clear read map upon exiting functions */
 		FuncNode * func_node = func_nodes[func_id];
 		func_node->clear_read_map(tid);
 
@@ -79,7 +78,7 @@ void ModelHistory::resize_func_nodes(uint32_t new_size)
 	if ( old_size < new_size )
 		func_nodes.resize(new_size);
 
-	for (uint32_t id = old_size; id < new_size; id++) {
+	for (uint32_t id = old_size;id < new_size;id++) {
 		const char * func_name = func_map_rev[id];
 		FuncNode * func_node = new FuncNode();
 		func_node->set_func_id(id);
@@ -116,8 +115,8 @@ void ModelHistory::process_action(ModelAction *act, thread_id_t tid)
 	if (inst == NULL)
 		return;
 
-	if (inst->is_read())
-		func_node->store_read(act, tid);
+	//	if (inst->is_read())
+	//	func_node->store_read(act, tid);
 
 	if (inst->is_write())
 		add_to_write_history(act->get_location(), act->get_write_value());