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