Searched refs:VISITED (Results 1 – 1 of 1) sorted by relevance
263 VISITED, enumerator1776 env->visit_states[type_id - btf->start_id] = VISITED; in env_stack_push()