Searched refs:logfilename (Results 1 – 1 of 1) sorted by relevance
254 static const char logfilename[] ="Thread-%02d-Chunk"; variable268 sprintf(logfile, logfilename, tid); in start_verification_log()321 sprintf(logfile, logfilename, tid); in end_verification_log()
