Searched defs:val18 (Results 1 – 1 of 1) sorted by relevance
104 bool val18 = clock_nanosleep && val25; in ltl_start() local153 bool val18 = clock_nanosleep && val25; in ltl_possible_next_states() local