Searched refs:trace_name (Results 1 – 1 of 1) sorted by relevance
627 def __init__(self, trace_name): argument628 self.trace_file = open(trace_name, "r")