Searched refs:binary_file (Results 1 – 1 of 1) sorted by relevance
30 binary_file = "" variable76 global binary_file99 if options.binary_file is not None:100 binary_file = options.binary_file102 if text_file == '' and binary_file == '':105 if text_file != '' and binary_file != '':452 infile = os.fdopen(os.open(binary_file, infile_flags, infile_mode), 'rb')462 trace_file_size = os.path.getsize(binary_file)