Searched refs:prune_point (Results 1 – 2 of 2) sorted by relevance
364 bool prune_point; member
9744 env->insn_aux_data[idx].prune_point = true; in init_explored_state()10842 if (!env->insn_aux_data[insn_idx].prune_point) in is_state_visited()
Completed in 39 milliseconds