Searched refs:spec_file (Results 1 – 2 of 2) sorted by relevance
231 def DumpHtml(spec_file, out_file): argument239 spec_name=os.path.basename(spec_file),255 spec_file, out_file = ParseCmdLine() variable256 print("Visualizing from spec: %s" % spec_file)257 exec(open(spec_file, "r").read())259 DumpHtml(spec_file, out_file)
55 print(fileHeader.format(spec_file=specFileBase), file=example_fd)