Searched defs:results_file (Results 1 – 4 of 4) sorted by relevance
27 scratch=None, results_file=None): argument
32 FILE* results_file = fopen(results_file_name, "w"); in CompareFiles() local
338 def __init__(self, results_file, output_dir): argument
279 char *results_file = args[2]; in fork_realtime() local