From 3a23b972c2e37dc69b8b2f1d7938f3c63b93f5cf Mon Sep 17 00:00:00 2001 From: weiyu Date: Wed, 4 Sep 2019 18:34:24 -0700 Subject: [PATCH] Do not process read actions paused by the fuzzer --- history.cc | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/history.cc b/history.cc index ff7b4a25..584b9f00 100644 --- a/history.cc +++ b/history.cc @@ -160,9 +160,11 @@ void ModelHistory::process_action(ModelAction *act, thread_id_t tid) if (curr_act_list->size() != 0) last_act = curr_act_list->back(); - // skip actions that are second part of a read modify write or actions with the same sequence number - if (second_part_of_rmw || - (last_act != NULL && last_act->get_seq_number() == act->get_seq_number()) ) + /* skip actions that are paused by fuzzer (sequence number is 0), + * that are second part of a read modify write or actions with the same sequence number */ + modelclock_t curr_seq_number = act->get_seq_number(); + if (curr_seq_number == 0 || second_part_of_rmw || + (last_act != NULL && last_act->get_seq_number() == curr_seq_number) ) return; if ( func_nodes.size() <= func_id ) -- 2.34.1