Searched refs:OutputFileName (Results 1 – 2 of 2) sorted by relevance
57 Error Config::addSaveTemps(std::string OutputFileName, in addSaveTemps() argument63 OutputFileName + "resolution.txt", EC, sys::fs::OpenFlags::OF_Text); in addSaveTemps()81 PathPrefix = OutputFileName; in addSaveTemps()108 std::string Path = OutputFileName + "index.bc"; in addSaveTemps()117 Path = OutputFileName + "index.dot"; in addSaveTemps()
212 Error addSaveTemps(std::string OutputFileName,