Searched refs:ResolutionFile (Results 1 – 3 of 3) sorted by relevance
190 std::unique_ptr<raw_ostream> ResolutionFile; member
92 ResolutionFile = in addSaveTemps()96 ResolutionFile.reset(); in addSaveTemps()
636 if (Conf.ResolutionFile) in add()637 writeToResolutionFile(*Conf.ResolutionFile, Input.get(), Res); in add()