Searched defs:val20 (Results 1 – 1 of 1) sorted by relevance
111 bool val20 = val18 || epoll_wait; in ltl_start() local162 bool val20 = val18 || epoll_wait; in ltl_possible_next_states() local