Searched defs:inputFile (Results 1 – 3 of 3) sorted by relevance
34 std::string inputFile = std::tmpnam(nullptr); in TEST() local69 std::string inputFile = std::tmpnam(nullptr); in TEST() local103 std::string inputFile = std::tmpnam(nullptr); in TEST() local133 std::string inputFile = std::tmpnam(nullptr); in TEST() local
49 Options generateOptions(Generator& gen, const string& inputFile) { in generateOptions()72 auto inputFile = generateInputFile(gen); in main() local
58 const std::string &inputFile, in handleOneInput()116 static FILE *openInputFile(const std::string &inputFile, in openInputFile()