Searched defs:val9 (Results 1 – 1 of 1) sorted by relevance
106 bool val9 = futex_wait || val18; in ltl_start() local155 bool val9 = futex_wait || val18; in ltl_possible_next_states() local