Searched defs:result_file (Results 1 – 2 of 2) sorted by relevance
122 std::ifstream result_file(result_file_name); in ValidateDumpResult() local
1043 def write_result_file(msg: str, result_file): argument