9 static inline void test_start(char *name)  in test_start()  argument
11 	printf("test: %s\n", name);  in test_start()
14 static inline void test_failure_detail(char *name, char *detail)  in test_failure_detail()  argument
16 	printf("failure: %s [%s]\n", name, detail);  in test_failure_detail()
19 static inline void test_failure(char *name)  in test_failure()  argument
21 	printf("failure: %s\n", name);  in test_failure()
24 static inline void test_error(char *name)  in test_error()  argument
26 	printf("error: %s\n", name);  in test_error()
29 static inline void test_skip(char *name)  in test_skip()  argument
31 	printf("skip: %s\n", name);  in test_skip()
34 static inline void test_success(char *name)  in test_success()  argument
36 	printf("success: %s\n", name);  in test_success()
39 static inline void test_finish(char *name, int status)  in test_finish()  argument
42 		test_failure(name);  in test_finish()
44 		test_success(name);  in test_finish()