Searched refs:foo4 (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/proof-tests/ |
| H A D | word_abs_fn_call.c | 44 uint32_t foo4(int a, uint32_t b, uint8_t c) function
51 return foo4(a, b, foo2(1, 2, 3));
91 return foo4(a, b, foo2(1, 2, 3));
|
Completed in 27 milliseconds