Searched refs:gets_x (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dtype_strengthen.c63 unsigned gets_x; variable
80 gets_x = 42;
85 return gets_x;

Completed in 53 milliseconds