diff --git a/nyx/synchronization.c b/nyx/synchronization.c index d150c1bf3b..1ac2b61555 100644 --- a/nyx/synchronization.c +++ b/nyx/synchronization.c @@ -266,10 +266,7 @@ void synchronization_lock(void) check_auxiliary_config_buffer(GET_GLOBAL_STATE()->auxilary_buffer, &GET_GLOBAL_STATE()->shadow_config); - if (GET_GLOBAL_STATE()->starved == true) - set_success_auxiliary_result_buffer(GET_GLOBAL_STATE()->auxilary_buffer, 2); - else - set_success_auxiliary_result_buffer(GET_GLOBAL_STATE()->auxilary_buffer, 1); + set_success_auxiliary_result_buffer(GET_GLOBAL_STATE()->auxilary_buffer, 1); reset_pt_overflow_auxiliary_result_buffer(GET_GLOBAL_STATE()->auxilary_buffer); GET_GLOBAL_STATE()->pt_trace_size = 0; @@ -428,6 +425,9 @@ void synchronization_disable_pt(CPUState *cpu) set_result_bb_coverage(GET_GLOBAL_STATE()->auxilary_buffer, GET_GLOBAL_STATE()->bb_coverage); + if (GET_GLOBAL_STATE()->starved == true) + set_success_auxiliary_result_buffer(GET_GLOBAL_STATE()->auxilary_buffer, 2); + in_fuzzing_loop = false; }