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