Searched refs:printHeader (Results 1 – 1 of 1) sorted by relevance
146 void printHeader(int argc, char **argv, const TestCase& testCase) in printHeader() function562 printHeader(argc, argv, testCase); in main()