Searched refs:prune_point (Results 1 – 2 of 2) sorted by relevance
358 bool prune_point; member
8476 env->insn_aux_data[idx].prune_point = true; in init_explored_state()9530 if (!env->insn_aux_data[insn_idx].prune_point) in is_state_visited()