Searched refs:max_states_per_insn (Results 1 – 2 of 2) sorted by relevance
560 u32 max_states_per_insn; member
14388 if (env->max_states_per_insn < states_cnt) in is_state_visited()14389 env->max_states_per_insn = states_cnt; in is_state_visited()17179 env->max_states_per_insn, env->total_states, in print_verification_stats()
Completed in 31 milliseconds