Searched refs:html_file (Results 1 – 1 of 1) sorted by relevance
35 di_var_bugs_summary, html_file): argument36 fileout = open(html_file, "w")327 print("The " + html_file + " generated.")376 if not opts.html_file.endswith('.html'):448 di_var_bugs_summary, opts.html_file)