Searched defs:failure (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4test/src/
H A Dtestutil.c84 void _sel4test_failure(const char *failure, const char *file, int line) argument
94 void _sel4test_abort(const char *failure, const char *file, int line) argument
[all...]

Completed in 76 milliseconds