Searched refs:trace_file (Results 1 – 1 of 1) sorted by relevance
32 def __init__(self, trace_file): argument35 self.target = os.path.splitext(os.path.basename(trace_file))[0]36 if not os.path.isfile(trace_file):38 self._trace_file = gzip.open(trace_file, 'rt', encoding='utf-8')