Lines Matching refs:file
74 void _sel4test_report_error(const char *error, const char *file, int line)
77 printf("\t\t<error>%s at line %d of file %s</error>\n", error, line, file);
79 printf("\tError: %s at line %d of file %s\n", error, line, file);
84 void _sel4test_failure(const char *failure, const char *file, int line)
87 printf("\t\t<failure type=\"failure\">%s at line %d of file %s</failure>\n", failure, line, file);
89 printf("\tFailure: %s at line %d of file %s\n", failure, line, file);
94 void _sel4test_abort(const char *failure, const char *file, int line)
97 printf("\t\t<failure type=\"failure\">%s at line %d of file %s</failure>\n", failure, line, file);
99 printf("\tFailure: %s at line %d of file %s\n", failure, line, file);