Searched refs:add_new_state (Results 1 – 1 of 1) sorted by relevance
9527 bool add_new_state = env->test_state_freq ? true : false; in is_state_visited() local9546 add_new_state = true; in is_state_visited()9578 add_new_state = false; in is_state_visited()9613 if (add_new_state) in is_state_visited()9656 if (!add_new_state) in is_state_visited()