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