Searched refs:num_not_fully_solved_in_batch (Results 1 – 1 of 1) sorted by relevance
653 int num_not_fully_solved_in_batch = 0; in Synchronize() local667 ++num_not_fully_solved_in_batch; in Synchronize()703 difficulty_.Update(/*num_decreases=*/num_not_fully_solved_in_batch, in Synchronize()