Searched refs:add_new_state (Results 1 – 1 of 1) sorted by relevance
9020 bool add_new_state = env->test_state_freq ? true : false; in is_state_visited() local9039 add_new_state = true; in is_state_visited()9071 add_new_state = false; in is_state_visited()9106 if (add_new_state) in is_state_visited()9149 if (!add_new_state) in is_state_visited()
