Searched refs:prev_jmps_processed (Results 1 – 1 of 1) sorted by relevance
19308 if (env->jmps_processed - env->prev_jmps_processed >= 2 && in is_state_visited() 19440 env->jmps_processed - env->prev_jmps_processed < 20 && in is_state_visited() 19617 env->prev_jmps_processed = env->jmps_processed; in is_state_visited()