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