Searched refs:result_msg_file (Results 1 – 2 of 2) sorted by relevance
201 const string& result_msg_file) { in GetSubsetCoverage() argument234 fout.open(result_msg_file); in GetSubsetCoverage()
56 const std::string& result_msg_file);