Searched defs:art_file (Results 1 – 3 of 3) sorted by relevance
97 std::string art_file = filename_prefix + ".art"; in CompileImageAndGetSizes() local
478 std::unique_ptr<File> art_file; in CompileBootImage() local
754 std::string art_file = ReplaceFileExtension(oat_file->GetLocation(), "art"); in OpenImageSpace() local