bug fix
authorweiyu <weiyuluo1232@gmail.com>
Tue, 30 Jul 2019 22:03:03 +0000 (15:03 -0700)
committerweiyu <weiyuluo1232@gmail.com>
Tue, 30 Jul 2019 22:03:03 +0000 (15:03 -0700)
history.cc

index 820f3df..a609fbf 100644 (file)
@@ -121,7 +121,7 @@ void ModelHistory::process_action(ModelAction *act, thread_id_t tid)
                func_node->store_read(act, tid);
 
        if (inst->is_write())
                func_node->store_read(act, tid);
 
        if (inst->is_write())
-               func_node->add_to_write_history(act->get_location(), act->get_write_value());
+               add_to_write_history(act->get_location(), act->get_write_value());
 
        /* add to curr_inst_list */
        func_inst_list_t * curr_inst_list = func_inst_lists->back();
 
        /* add to curr_inst_list */
        func_inst_list_t * curr_inst_list = func_inst_lists->back();