Searched refs:foo3 (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/proof-tests/ |
| H A D | word_abs_fn_call.c | 34 uint8_t foo3(int a, uint32_t b, uint8_t c) function
41 return foo3(1, 2, foo3(1, 2, 3));
81 return foo3(1, 2, foo3(1, 2, 3));
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | selftest.sml | 130 val defn3 = new_definition("foo3", defn1_t)
|
Completed in 120 milliseconds