Searched defs:input_file (Results 1 – 3 of 3) sorted by relevance
29 def gen_offset_header(input_name, input_file, output_file): argument80 input_file = open(args.input, 'rb') variable
17 def retrieve_data(input_file): argument
49 def retrieve_gcov_data(input_file): argument
