Searched refs:add_new_state (Results 1 – 1 of 1) sorted by relevance
7231 bool add_new_state = env->test_state_freq ? true : false; in is_state_visited() local7250 add_new_state = true; in is_state_visited()7282 add_new_state = false; in is_state_visited()7317 if (add_new_state) in is_state_visited()7360 if (!add_new_state) in is_state_visited()
