Searched refs:no_state_value (Results 1 – 1 of 1) sorted by relevance
7130 int no_state_value; in add_vect() local7240 no_state_value = tab->automaton->achieved_states_num; in add_vect()7244 VEC_safe_push (vect_el_t,heap, tab->check_vect, no_state_value); in add_vect()