Searched refs:spec_file (Results 1 – 3 of 3) sorted by relevance
163 spec_file = " (from: %s)" % (test_generator.FileNames.specFile) variable164 print("# Generated file%s. Do not edit" % (spec_file), file=model_file)
312 print(fileHeader.format(spec_file=specFileBase), file=model_fd)313 print(fileHeader.format(spec_file=specFileBase), file=example_fd)315 spec_file=specFileBase,
111 print(fileHeader.format(spec_file=specFileBase), file=model_fd)112 print(fileHeader.format(spec_file=specFileBase), file=example_fd)113 print(fileHeader.format(spec_file=specFileBase), file=test_fd)