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