Searched refs:add_new_state (Results 1 – 1 of 1) sorted by relevance
11907 bool add_new_state = env->test_state_freq ? true : false; in is_state_visited() local11926 add_new_state = true; in is_state_visited()11974 add_new_state = false; in is_state_visited()12009 if (add_new_state) in is_state_visited()12052 if (!add_new_state) in is_state_visited()
