Searched refs:cur_states (Results 1 – 1 of 1) sorted by relevance
24 u32 cur_states; in update_peak_states() local26 cur_states = env->explored_states_size + env->free_list_size + env->num_backedges; in update_peak_states()27 env->peak_states = max(env->peak_states, cur_states); in update_peak_states()