From: weiyu Date: Thu, 5 Sep 2019 01:34:24 +0000 (-0700) Subject: Do not process read actions paused by the fuzzer X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3a23b972c2e37dc69b8b2f1d7938f3c63b93f5cf;p=c11tester.git Do not process read actions paused by the fuzzer --- 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 )