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