Function result_header

deps/v8/tools/avg.py:169–171 · view source on GitHub ↗

(widths)

Source from the content-addressed store, hash-verified

167
168
169	def result_header(widths):
170	return format_line("#/{}".format(ARGS['repetitions']),
171	"id", "avg", "stddev", "min", "max", "unit", widths)
172
173
174	class Measurements:

print_resultsMethod · 0.85

format_lineFunction · 0.85

formatMethod · 0.65

no test coverage detected