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