Searched refs:write_temp_file (Results 1 – 1 of 1) sorted by relevance
885 def write_temp_file(suffix, prefix, data): function904 write_temp_file('.dot', 'egraph-', self.output())909 filename = write_temp_file(