Searched refs:UserFilesNum (Results 1 – 1 of 1) sorted by relevance
1468 unsigned UserFilesNum = 0; in WriteInputFiles() local1485 ++UserFilesNum; in WriteInputFiles()1516 Record.push_back(UserFilesNum); in WriteInputFiles()