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