Searched refs:GetBinaryFileName (Results 1 – 1 of 1) sorted by relevance
339 var fileToCopy = GetBinaryFileName(entry.Index); in TryGetFromCache()345 FileCopier.Copy(GetBinaryFileName(entry.Index), fileName, true); in TryGetFromCache()418 FileCopier.Copy(withFile, GetBinaryFileName(fileId), true); in UpdateInCache()478 private string GetBinaryFileName(int id) in GetBinaryFileName() method in Antmicro.Renode.Utilities.CachingFileFetcher