Searched defs:val25 (Results 1 – 1 of 1) sorted by relevance
102 bool val25 = nanosleep_timer_abstime && val24; in ltl_start() local151 bool val25 = nanosleep_timer_abstime && val24; in ltl_possible_next_states() local