Searched refs:total_states (Results 1 – 2 of 2) sorted by relevance
461 u32 total_states; member
10769 env->total_states++; in is_state_visited()13244 env->max_states_per_insn, env->total_states, in print_verification_stats()
