Searched refs:add_new_state (Results 1 – 1 of 1) sorted by relevance
10609 bool add_new_state = env->test_state_freq ? true : false; in is_state_visited() local10628 add_new_state = true; in is_state_visited()10676 add_new_state = false; in is_state_visited()10711 if (add_new_state) in is_state_visited()10754 if (!add_new_state) in is_state_visited()
