Searched refs:ResolutionFile (Results 1 – 3 of 3) sorted by relevance
130 std::unique_ptr<raw_ostream> ResolutionFile; member
62 ResolutionFile = std::make_unique<raw_fd_ostream>( in addSaveTemps()
574 if (Conf.ResolutionFile) in add()575 writeToResolutionFile(*Conf.ResolutionFile, Input.get(), Res); in add()